A predicative semantics for the refinement of real-time systems

DOI10.1007/3-540-58027-1_11MaRDI QIDQ5890049zbMATH OpenOpenAlexFDO

Authors Hussein Zedan, He Jifeng, David Scholefield

Publication date 28 April 2023

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-58027-1_11

zbMATH Keywords

concrete syntaxproof obligationrelease timeschedulability testvariable symbol

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Semantics in the theory of computing (68Q55)

Recommendations

• A specification-oriented semantics for the refinement of real-time systems
• Real-time refinement in Manna and Pnueli's temporal logic
• scientific article; zbMATH DE number 1949613
• scientific article; zbMATH DE number 1751887
• A sequential real-time refinement calculus

Cites work

• Guarded commands, nondeterminacy and formal derivation of programs
• scientific article; zbMATH DE number 3740749 (Why is no real title available?)
• scientific article; zbMATH DE number 46740 (Why is no real title available?)
• Refinement concepts formalised in higher order logic

Cited in

(14)

• A specification-oriented semantics for the refinement of real-time systems
• Transformational vs reactive refinement in real-time systems
• A formal model of real-time program compilation
• Real-time refinement in Manna and Pnueli's temporal logic
• The refinement calculus of reactive systems
• Real-time semantics of state transition for embedded control systems
• scientific article; zbMATH DE number 2088653 (Why is no real title available?)
• scientific article; zbMATH DE number 4205999 (Why is no real title available?)
• An equivalence theorem for the operational and temporal semantics of real-time, concurrent programs
• Specification and Proof in Real Time CSP
• scientific article; zbMATH DE number 1949613 (Why is no real title available?)
• scientific article; zbMATH DE number 1487946 (Why is no real title available?)
• A Real-time Semantics of Temporal Logic of Actions
• Jifeng He at Oxford and beyond: an appreciation

This page was built for publication: A predicative semantics for the refinement of real-time systems

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