Atelier B
From MaRDI portal
Cited in
(30)- scientific article; zbMATH DE number 2080010 (Why is no real title available?)
- scientific article; zbMATH DE number 2013598 (Why is no real title available?)
- Verification of \(\mathrm{EB}^3\) specifications using CADP
- FM 2005: Formal Methods
- scientific article; zbMATH DE number 2079818 (Why is no real title available?)
- A mechanically proved and incremental development of IEEE 1394 tree identify protocol
- scientific article; zbMATH DE number 2100579 (Why is no real title available?)
- scientific article; zbMATH DE number 2147039 (Why is no real title available?)
- scientific article; zbMATH DE number 2080011 (Why is no real title available?)
- Integrating formal specifications into applications: the ProB Java API
- TopSpin
- CoreASM
- TAS
- B4Free
- Z2sal
- Spin-to-Grape
- SymmSpin
- csp2B
- ZB 2005: Formal Specification and Development in Z and B
- scientific article; zbMATH DE number 2079998 (Why is no real title available?)
- 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
- BMotionWeb
- JeB
- VisB
- WebASM
- Verifying B proof rules using deep embedding and automated theorem proving
This page was built for software: Atelier B
