The BWare project is an industrial research project that aims to provide a mechanized framework to support the automated verification of proof obligations coming from the development of industrial applications using the B method and requiring high guarantees of confidence
Keywords for this software
References in zbMATH (referenced in 4 articles )
Showing results 1 to 4 of 4.
- Halmagrand, Pierre: Soundly proving B method formulæusing typed sequent calculus (2016)
- Bury, Guillaume; Delahaye, David: Integrating simplex with tableaux (2015)
- Delahaye, David; Dubois, Catherine; Marché, Claude; Mentré, David: The bware project: building a proof platform for the automated verification of B proof obligations (2014) ioport
- Delahaye, David; Doligez, Damien; Gilbert, Frédéric; Halmagrand, Pierre; Hermant, Olivier: Zenon modulo: when Achilles outruns the tortoise using deduction modulo (2013)