Extending Hoare logic to real-time

DOI10.1007/BF01213604zbMath0816.68084MaRDI QIDQ1346769

J. J. M. Hooman

Publication date: 9 April 1995

Published in: Formal Aspects of Computing (Search for Journal in Brave)

zbMATH Keywords

compositionalityformal specificationHoare logicconcurrent programtop-down design

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (2)

A UTP approach for rTiMo ⋮ Formal modeling and analysis of a narrow bandwidth protocol for establishing and terminating connections

Uses Software

• Ada95
• PVS

Cites Work

• Unnamed Item
• Specification and compositional verification of real-time systems
• Hybrid systems
• The programming language ADA. Reference manual. American National Standards Institute, Inc. ANSI/MIL-STD-1815A-1983. Approved 17 February 1983
• A calculus of durations
• An axiomatic basis for computer programming

This page was built for publication: Extending Hoare logic to real-time