Correctness of real time systems by construction

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 863 LNCS, Issue , 1994, Pages 19-40

  Hooman, Jozef ^a  

^a EINDHOVEN UNIVERSITY OF TECHNOLOGY   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

FAULT TOLERANCE; INTERACTIVE COMPUTER SYSTEMS; MODEL CHECKING; SPECIFICATION LANGUAGES; SPECIFICATIONS;

ASSUMPTION - COMMITMENT; CORRECT-BY-CONSTRUCTION; DISTRIBUTED REAL TIME SYSTEM; HOARE LOGIC; INTERACTIVE PROOFS; REAL TIME; TOPDOWN;

REAL TIME SYSTEMS;

EID: 84947790578     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-58468-4_158     Document Type: Conference Paper

References (10)

1. T. Anderson, R. de Lemos, J.S. Fitzgerald, and A. Saeed. On formal support for industrial-scale requirements analysis. In Workshop on Theory of Hybrid Systems, pages 426-451. LNCS 736, 1993.
2. C.A.R. Hoare. An axiomatic basis for computer programming. Communications of the ACM, 12 (10): 576-580, 583, 1969.
3. J. Hooman. Specification and Compositional Verification of Real-Time Systems. LNCS 558, Springer-Verlag, 1991.
4. J. Hooman. A compositional approach to the design of hybrid systems. In Workshop on Theory of Hybrid Systems, pages 121-148. LNCS 736, 1993.
5. J. Hooman. Compositional verification of a distributed real-time arbitration protocol. Real-Time Systems, 6: 173-205, 1994.
6. J. Hooman. Extending Hoare logic to real-time. Formal Aspects of Computing, To appear, 1994.
7. C. Morgan. Programming from Specifications. Prentice Hall, 1990.
8. E. R. Olderog. Process theory: semantics, specification and verification. In ESPRIT/ LPC Advanced School on Current Trends in Concurrency, pages 509-519. LNCS 194, Springer-Verlag, 1985.
9. S. Owre, J. Rushby, and N. Shankar. PVS: A prototype verification system. In 11th Conference on Automated Deduction, volume 607 of Lecture Notes in Artificial Intelligence, pages 748-752. Springer-Verlag, 1992.
10. J.U. Skakkebmk and N. Shankar. Towards a duration calculus proof assistant in PVS. In Formal Techniques in Real-Time and Fault Tolerant Systems. LNCS, This Volume, Springer-Verlag, 1994.