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