The following pages link to A refinement strategy for Circus (Q706512):
Displaying 30 items.
- Mechanical reasoning about families of UTP theories (Q436368) (← links)
- Refinement-oriented models of Stateflow charts (Q436420) (← links)
- Test selection for traces refinement (Q481094) (← links)
- A tactic language for refinement of state-rich concurrent specifications (Q541214) (← links)
- From control law diagrams to Ada via \textsf{Circus} (Q640296) (← links)
- Building program construction and verification tools from algebraic principles (Q736461) (← links)
- On integrating confidentiality and functionality in a formal method (Q736833) (← links)
- Derivation of concurrent programs by stepwise scheduling of Event-B models (Q736912) (← links)
- Testing for refinement in \textsf{Circus} (Q766162) (← links)
- Angelic nondeterminism in the unifying theories of programming (Q851128) (← links)
- A process algebraic framework for specification and validation of real-time systems (Q968306) (← links)
- A timeband framework for modelling real-time systems (Q987537) (← links)
- Refinement and verification in component-based model-driven design (Q1004291) (← links)
- A UTP semantics for \textsf{Circus} (Q1019016) (← links)
- A formal framework for modeling and validating simulink diagrams (Q1037245) (← links)
- Unifying theories in ProofPower-Z (Q1941892) (← links)
- Laws of mission-based programming (Q2355382) (← links)
- Safety-critical Java programs from \textsf{Circus} models (Q2443940) (← links)
- Integrating a formal method into a software engineering process with UML and Java (Q2481209) (← links)
- Towards Algebraic Semantics of Circus Time (Q2814616) (← links)
- Refinement of actions in Circus (Q2844823) (← links)
- Type checking \textsf{Circus} specifications (Q2873610) (← links)
- A Stepwise Approach to Linking Theories (Q2971179) (← links)
- Automating Refinement of Circus Programs (Q2999326) (← links)
- Behavioural Models for FMI Co-simulations (Q3179405) (← links)
- Circus Time with Reactive Designs (Q3455644) (← links)
- Stateflow Diagrams in (Q5179350) (← links)
- Mechanical Reasoning about Families of UTP Theories (Q5179366) (← links)
- UTP, \textsf{\textit{Circus}}, and Isabelle (Q6535825) (← links)
- Towards a model-checker for \textit{\textsf{Circus}} (Q6535951) (← links)
