Transformational vs reactive refinement in real-time systems

DOI10.1016/0020-0190(95)00095-TzbMath0875.68145OpenAlexW2066376813MaRDI QIDQ1350363

David Scholefield, Simon Atkinson

Publication date: 27 February 1997

Published in: Information Processing Letters (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0020-0190(95)00095-t

zbMATH Keywords

ZReal-time systemsRefinementSpecification languagesProgram specificationFormal developmentTemporal agent model

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Computer system organization (68M99)

Uses Software

• Z

Cites Work

• Weakest precondition semantics for time and concurrency
• A specification-oriented semantics for the refinement of real-time systems
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Transformational vs reactive refinement in real-time systems