Atelier B
From MaRDI portal
swMATH7086MaRDI QIDQ19144FDOQ19144
Author name not available (Why is that?)
Official website: http://www.atelierb.eu/en/
Cited In (30)
- Title not available (Why is that?)
- Title not available (Why is that?)
- BMotionWeb
- JeB
- VisB
- WebASM
- Verification of \(\mathrm{EB}^3\) specifications using CADP
- FM 2005: Formal Methods
- Title not available (Why is that?)
- A mechanically proved and incremental development of IEEE 1394 tree identify protocol
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Integrating formal specifications into applications: the ProB Java API
- ZB 2005: Formal Specification and Development in Z and B
- Title not available (Why is that?)
- TopSpin
- CoreASM
- TAS
- B4Free
- Z2sal
- Spin-to-Grape
- SymmSpin
- csp2B
- Efficient approximate verification of B and Z models via symmetry markers
- BTestBox
- EventB2Java
- Tableaux modulo theories using superdeduction. An application to the verification of B proof rules with the Zenon automated theorem prover
- Soundly proving B method formulæ using typed sequent calculus
- Verifying B proof rules using deep embedding and automated theorem proving
This page was built for software: Atelier B
