The following pages link to ClawZ (Q18468):
Displayed 14 items.
- Mechanised support for sound refinement tactics (Q432151) (← links)
- Refinement-oriented models of Stateflow charts (Q436420) (← links)
- A Hoare logic for linear systems (Q469998) (← links)
- A tactic language for refinement of state-rich concurrent specifications (Q541214) (← links)
- From control law diagrams to Ada via \textsf{Circus} (Q640296) (← links)
- Test-data generation for control coverage by proof (Q736805) (← links)
- A formal framework for modeling and validating simulink diagrams (Q1037245) (← links)
- The refinement calculus of reactive systems (Q2672236) (← links)
- Simulink Timed Models for Program Verification (Q2842628) (← links)
- Stepwise Development of Simulink Models Using the Refinement Calculus Framework (Q3525076) (← links)
- (Q3811752) (← links)
- (Q4417982) (← links)
- Mechanical Reasoning about Families of UTP Theories (Q5179366) (← links)
- FM 2005: Formal Methods (Q5716880) (← links)