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

DOI10.1007/BF01213532zbMATH0857.68073MaRDI QIDQ1815342FDOQ1815342

Authors 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)

Recommendations

• A specification-oriented semantics for the refinement of real-time systems
• A predicative semantics for the refinement of real-time systems
• A sequential real-time refinement calculus
• Computer-aided development of a real-time program

Cites work

• scientific article; zbMATH DE number 3705887 (Why is no real title available?)
• scientific article; zbMATH DE number 46740 (Why is no real title available?)
• scientific article; zbMATH DE number 3574936 (Why is no real title available?)
• scientific article; zbMATH DE number 3800906 (Why is no real title available?)
• A calculus of durations
• A calculus of refinements for program derivations
• A specification-oriented semantics for the refinement of real-time systems
• A survey of verification techniques for parallel programs
• Refinement concepts formalised in higher order logic
• Specification and compositional verification of real-time systems
• The Munich project CIP. Volume I: The wide spectrum language CIP-L
• Weakest precondition semantics for time and concurrency

Cited in

(12)

• scientific article; zbMATH DE number 1949613 (Why is no real title available?)
• scientific article; zbMATH DE number 1612486 (Why is no real title available?)
• Weakest precondition semantics for time and concurrency
• scientific article; zbMATH DE number 1696507 (Why is no real title available?)
• scientific article; zbMATH DE number 2088653 (Why is no real title available?)
• A predicative semantics for the refinement of real-time systems
• Computer-aided development of a real-time program
• Procedures and parameters in the real-time program refinement calculus
• Reasoning about real-time repetitions: Terminating and nonterminating
• The refinement calculus of reactive systems
• Refinement of events in the development of real-time distributed systems
• A refinement theory that supports reasoning about knowledge and time for synchronous agents

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1815342)