The following pages link to Integrated Formal Methods (Q5901607):
Displayed 13 items.
- On integrating confidentiality and functionality in a formal method (Q736833) (← links)
- Angelic nondeterminism in the unifying theories of programming (Q851128) (← links)
- Angelic processes for CSP via the UTP (Q1757156) (← links)
- Unifying theories of reactive design contracts (Q2007732) (← links)
- Modelling temporal behaviour in complex systems with Timebands (Q2248089) (← links)
- Safety-critical Java programs from \textsf{Circus} models (Q2443940) (← links)
- The refinement calculus of reactive systems (Q2672236) (← links)
- Automated reasoning for probabilistic sequential programs with theorem proving (Q2695373) (← links)
- Angelicism in the Theory of Reactive Processes (Q2814614) (← links)
- Unifying Theories of Programming in Isabelle (Q2948230) (← links)
- A Stepwise Approach to Linking Theories (Q2971179) (← links)
- Reverse Hoare Logic (Q3095238) (← links)
- Compositional Assume-Guarantee Reasoning of Control Law Diagrams Using UTP (Q5861786) (← links)