A refinement strategy for Circus
From MaRDI portal
Publication:706512
DOI10.1007/S00165-003-0006-5zbMath1093.68555OpenAlexW2077325003MaRDI QIDQ706512
Augusto Sampaio, Ana Cavalcanti, J. C. P. Woodcock
Publication date: 8 February 2005
Published in: Formal Aspects of Computing (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s00165-003-0006-5
Related Items (28)
Circus Time with Reactive Designs ⋮ Behavioural Models for FMI Co-simulations ⋮ Angelic nondeterminism in the unifying theories of programming ⋮ Automatic generation of verified concurrent hardware using VHDL ⋮ Unifying theories in ProofPower-Z ⋮ Mechanical reasoning about families of UTP theories ⋮ Refinement-oriented models of Stateflow charts ⋮ A Stepwise Approach to Linking Theories ⋮ From control law diagrams to Ada via \textsf{Circus} ⋮ Safety-critical Java programs from \textsf{Circus} models ⋮ Test selection for traces refinement ⋮ Automating Refinement of Circus Programs ⋮ Integrating a formal method into a software engineering process with UML and Java ⋮ A process algebraic framework for specification and validation of real-time systems ⋮ A tactic language for refinement of state-rich concurrent specifications ⋮ Stateflow Diagrams in ⋮ Mechanical Reasoning about Families of UTP Theories ⋮ A timeband framework for modelling real-time systems ⋮ Refinement and verification in component-based model-driven design ⋮ Building program construction and verification tools from algebraic principles ⋮ On integrating confidentiality and functionality in a formal method ⋮ Derivation of concurrent programs by stepwise scheduling of Event-B models ⋮ Towards Algebraic Semantics of Circus Time ⋮ A UTP semantics for \textsf{Circus} ⋮ Testing for refinement in \textsf{Circus} ⋮ A formal framework for modeling and validating simulink diagrams ⋮ Type Checking Specifications ⋮ Laws of mission-based programming
Uses Software
This page was built for publication: A refinement strategy for Circus