Atelier B
From MaRDI portal
Software:19144
No author found.
Related Items (16)
Unnamed Item ⋮ Verification of \(\mathrm{EB}^3\) specifications using CADP ⋮ Soundly Proving B Method Formulæ Using Typed Sequent Calculus ⋮ Tableaux Modulo Theories Using Superdeduction ⋮ Integrating formal specifications into applications: the ProB Java API ⋮ Unnamed Item ⋮ Efficient approximate verification of B and Z models via symmetry markers ⋮ A mechanically proved and incremental development of IEEE 1394 tree identify protocol ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ ZB 2005: Formal Specification and Development in Z and B ⋮ FM 2005: Formal Methods ⋮ Unnamed Item ⋮ Verifying B Proof Rules Using Deep Embedding and Automated Theorem Proving
This page was built for software: Atelier B
