The following pages link to FM 2005: Formal Methods (Q5716880):
Displaying 13 items.
- Mechanical reasoning about families of UTP theories (Q436368) (← 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)
- Testing for refinement in \textsf{Circus} (Q766162) (← links)
- A formal framework for modeling and validating simulink diagrams (Q1037245) (← links)
- Unifying theories in ProofPower-Z (Q1941892) (← links)
- Simulink Timed Models for Program Verification (Q2842628) (← links)
- A Two-Way Path Between Formal and Informal Design of Embedded Systems (Q2971176) (← links)
- Automating Refinement of Circus Programs (Q2999326) (← links)
- Stateflow Diagrams in (Q5179350) (← links)
- Compositional Assume-Guarantee Reasoning of Control Law Diagrams Using UTP (Q5861786) (← links)
