A sequential real-time refinement calculus

DOI10.1007/PL00013311zbMath0970.68107OpenAlexW2099412761MaRDI QIDQ5929982

Ian J. 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)

Related Items (5)

Reactive Probabilistic Programs and Refinement Algebra ⋮ Safety-critical Java programs from \textsf{Circus} models ⋮ A theory for execution-time derivation in real-time programs ⋮ A formal model of real-time program compilation ⋮ Laws of mission-based programming

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