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?)
- Tableaux Modulo Theories Using Superdeduction
- Verification of \(\mathrm{EB}^3\) specifications using CADP
- FM 2005: Formal Methods
- Soundly Proving B Method Formulæ Using Typed Sequent Calculus
- Title not available (Why is that?)
- Verifying B Proof Rules Using Deep Embedding and Automated Theorem Proving
- 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
This page was built for software: Atelier B
