Overture Tool
From MaRDI portal
Cited in
(14)- BTestBox
- EventB2Java
- CoreASM
- Petruchio
- Integrating formal specifications into applications: the ProB Java API
- VDMTools
- Unifying theories of undefinedness in UTP
- Formal semantics of a VDM extension for distributed embedded systems
- An empirical comparison of formalisms for modelling and analysis of dynamic reconfiguration of dependable systems
- 20-sim
- JeB
- BMotionWeb
- VisB
- WebASM
This page was built for software: Overture Tool
