A refinement strategy for Circus
From MaRDI portal
Publication:706512
DOI10.1007/S00165-003-0006-5zbMATH Open1093.68555OpenAlexW2077325003MaRDI QIDQ706512FDOQ706512
Augusto Sampaio, Jim Woodcock, Ana Cavalcanti
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
Recommendations
Cited In (32)
- Title not available (Why is that?)
- Laws of mission-based programming
- Angelic nondeterminism in the unifying theories of programming
- Title not available (Why is that?)
- Mechanical reasoning about families of UTP theories
- Refinement-oriented models of Stateflow charts
- Circus Time with Reactive Designs
- Refinement and verification in component-based model-driven design
- From control law diagrams to Ada via \textsf{Circus}
- Building program construction and verification tools from algebraic principles
- A UTP semantics for \textsf{Circus}
- Derivation of concurrent programs by stepwise scheduling of Event-B models
- On integrating confidentiality and functionality in a formal method
- Towards Algebraic Semantics of Circus Time
- Integrating a formal method into a software engineering process with UML and Java
- A tactic language for refinement of state-rich concurrent specifications
- Test selection for traces refinement
- Stateflow Diagrams in
- Behavioural Models for FMI Co-simulations
- Testing for refinement in \textsf{Circus}
- A process algebraic framework for specification and validation of real-time systems
- A formal framework for modeling and validating simulink diagrams
- Automatic generation of verified concurrent hardware using VHDL
- A Stepwise Approach to Linking Theories
- Safety-critical Java programs from \textsf{Circus} models
- Unifying theories in ProofPower-Z
- Type checking \textsf{Circus} specifications
- Automating Refinement of Circus Programs
- UTP, \textsf{\textit{Circus}}, and Isabelle
- Towards a model-checker for \textit{\textsf{Circus}}
- A timeband framework for modelling real-time systems
- Mechanical Reasoning about Families of UTP Theories
Uses Software
This page was built for publication: A refinement strategy for Circus
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q706512)
