Cited in
(22)- scientific article; zbMATH DE number 1956625 (Why is no real title available?)
- A Hoare logic for linear systems
- Stepwise Development of Simulink Models Using the Refinement Calculus Framework
- Mechanical Reasoning about Families of UTP Theories
- Mechanised support for sound refinement tactics
- Refinement-oriented models of Stateflow charts
- A tactic language for refinement of state-rich concurrent specifications
- scientific article; zbMATH DE number 4080966 (Why is no real title available?)
- Test-data generation for control coverage by proof
- FM 2005: Formal Methods
- ArcAngel
- Simulink
- ArcAngelC
- ProofPower
- SL2SX
- Circus
- Hume
- ZRC
- From control law diagrams to Ada via \textsf{Circus}
- A formal framework for modeling and validating simulink diagrams
- The refinement calculus of reactive systems
- Simulink timed models for program verification
This page was built for software: ClawZ
