A sequential real-time refinement calculus
From MaRDI portal
Publication:5929982
DOI10.1007/PL00013311zbMath0970.68107MaRDI QIDQ5929982
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
68Q60: Specification and verification (program logics, model checking, etc.)
Related Items
A formal model of real-time program compilation, Laws of mission-based programming, Safety-critical Java programs from \textsf{Circus} models, A theory for execution-time derivation in real-time programs, Reactive Probabilistic Programs and Refinement Algebra