BWare

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

Anything in here will be replaced on browsers that support the canvas element

References in zbMATH (referenced in 4 articles )

Showing results 1 to 4 of 4.
Sorted by year (citations)

  1. Halmagrand, Pierre: Soundly proving B method formulæusing typed sequent calculus (2016)
  2. Bury, Guillaume; Delahaye, David: Integrating simplex with tableaux (2015)
  3. 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
  4. Delahaye, David; Doligez, Damien; Gilbert, Frédéric; Halmagrand, Pierre; Hermant, Olivier: Zenon modulo: when Achilles outruns the tortoise using deduction modulo (2013)