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 3 articles )
Showing results 1 to 3 of 3.
- Halmagrand, Pierre: Soundly proving B method formulæusing typed sequent calculus (2016)
- Delahaye, David; Dubois, Catherine; Marché, Claude; Mentré, David: The bware project: building a proof platform for the automated verification of B proof obligations (2014)
- Delahaye, David; Doligez, Damien; Gilbert, Frédéric; Halmagrand, Pierre; Hermant, Olivier: Zenon modulo: when Achilles outruns the tortoise using deduction modulo (2013)