Real-time refinement in Manna and Pnueli's temporal logic

DOI10.1007/BF01213532zbMath0857.68073MaRDI QIDQ1815342

David Scholefield

Publication date: 10 November 1996

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

zbMATH Keywords

TAMreal-time systemsrefinement calculustemporal agent model

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Related Items (1)

Weakest precondition semantics for time and concurrency

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Specification and compositional verification of real-time systems
• Refinement concepts formalised in higher order logic
• A survey of verification techniques for parallel programs
• The Munich project CIP. Volume I: The wide spectrum language CIP-L
• A calculus of refinements for program derivations
• A calculus of durations
• Weakest precondition semantics for time and concurrency
• A specification-oriented semantics for the refinement of real-time systems

This page was built for publication: Real-time refinement in Manna and Pnueli's temporal logic