A specification-oriented semantics for the refinement of real-time systems

DOI10.1016/0304-3975(94)90096-5zbMath0820.68071OpenAlexW2061158135MaRDI QIDQ1331923

Hussein Zedan, He Jifeng, David Scholefield

Publication date: 29 August 1994

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0304-3975(94)90096-5

zbMATH Keywords

real-time systemstemporal agent model

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (7)

Computer-aided development of a real-time program ⋮ Transformational vs reactive refinement in real-time systems ⋮ An action-based formal model for concurrent real-time systems ⋮ Induction in the timed interval calculus ⋮ Jifeng He at Oxford and beyond: an appreciation ⋮ A wide-spectrum language for object-based development of real-time systems ⋮ Real-time refinement in Manna and Pnueli's temporal logic

Uses Software

• RT-ASLAN

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Specification and compositional verification of real-time systems
• Refinement concepts formalised in higher order logic
• The Munich project CIP. Volume I: The wide spectrum language CIP-L
• A calculus of refinements for program derivations
• Weakest precondition semantics for time and concurrency
• On priority assignment in fixed priority scheduling

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