Atelier B
From MaRDI portal
Software:19144
swMATH7086MaRDI QIDQ19144FDOQ19144
Author name not available (Why is that?)
Cited In (16)
- Title not available (Why is that?)
- Title not available (Why is that?)
- 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?)
- Efficient approximate verification of B and Z models via symmetry markers
- 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
