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