Axiomatisation of an Interval Calculus for Theorem Proving-Reference-Cited by-同舟云学术

Axiomatisation of an Interval Calculus for Theorem Proving

Published:2001-01 Issue: Volume:42 Page:67-88
ISSN:1571-0661
Container-title:Electronic Notes in Theoretical Computer Science
language:en
Short-container-title:Electronic Notes in Theoretical Computer Science

Author:

Cerone Antonio

Publisher

Elsevier BV

Subject

General Computer Science,Theoretical Computer Science

Reference15 articles.

1. H. Becht, A. Bloesch, R. Nickson, and M. Utting. Ergo 4.1 reference manual. Technical Report 96-31, Software Verification Research Centre, School of Information Technology, The University of Queensland, Brisbane, Australia, Nov 1996.

2. Process algebra versus axiomatic specification of a real-time protocol;Cerone,2000

3. Time-based expressivity of time Petri nets for system specification;Cerone;Theoretical Computer Science,1999

4. C. J. Fidge, I. J. Hayes, B. P. Mahony, and A. K. Wabenhorst. Real-time specification and reasoning using maximal intervals. In Proc. of the 6th Annual Australasian Conference on Parallel and Real-Time Systems (PART'99), pages 344–354, Singapore, 1999. Springer-Verlag.

5. A set-theoretic model for real-time specification and reasoning;Fidge,1998

Cited by 4 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. A verification system for interval-based specification languages;ACM Transactions on Software Engineering and Methodology;2010-04

2. Machine-Assisted Proof Support for Validation Beyond Simulink;Formal Methods and Software Engineering;2007

3. Machine-Checking the Timed Interval Calculus;Lecture Notes in Computer Science;2002

4. Lifting in Z;Electronic Notes in Theoretical Computer Science;2001-01