A sequential real-time refinement calculus

DOI10.1007/PL00013311MaRDI QIDQ5929982zbMATH OpenOpenAlexFDO

Authors Ian Hayes, Mark Utting

Publication date 17 April 2001

Published in Acta Informatica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/pl00013311

zbMATH Keywords

real-time specificationsrefinement process

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 2088653
• scientific article; zbMATH DE number 1303982
• Computer-aided development of a real-time program
• Procedures and parameters in the real-time program refinement calculus
• A specification-oriented semantics for the refinement of real-time systems

Cited in

(26)

• Transformational design of real-time systems. II: From program specifications to programs
• A specification-oriented semantics for the refinement of real-time systems
• Verification, refinement and scheduling of real-time programs
• A formal model of real-time program compilation
• Real-time refinement in Manna and Pnueli's temporal logic
• Real-time properties of indirect recursive procedures
• Laws of mission-based programming
• Safety-critical Java programs from \textsf{Circus} models
• A theory for execution-time derivation in real-time programs
• scientific article; zbMATH DE number 1612486 (Why is no real title available?)
• scientific article; zbMATH DE number 1696506 (Why is no real title available?)
• The variety of variables in computer-aided real-time programming
• Compositional sequentialization of periodic programs
• scientific article; zbMATH DE number 2088653 (Why is no real title available?)
• Reactive Probabilistic Programs and Refinement Algebra
• scientific article; zbMATH DE number 1303982 (Why is no real title available?)
• scientific article; zbMATH DE number 1304003 (Why is no real title available?)
• scientific article; zbMATH DE number 1104387 (Why is no real title available?)
• scientific article; zbMATH DE number 1949613 (Why is no real title available?)
• scientific article; zbMATH DE number 1487946 (Why is no real title available?)
• scientific article; zbMATH DE number 1852150 (Why is no real title available?)
• Computer-aided development of a real-time program
• Termination of Real-Time Programs: Definitely, Definitely Not, or Maybe
• A predicative semantics for the refinement of real-time systems
• The variety of variables in automated real-time refinement
• Procedures and parameters in the real-time program refinement calculus

This page was built for publication: A sequential real-time refinement calculus

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