Search
1 results were found in search for "clearsy".
Displaying results 1 to 1 of 1.
Funded projects
31/08/2012
– 48 monthes
Relevance:
100%
Ingénierie Numérique & Sécurité
A Proof-Based Mechanized Plate-Forme for the Verification of B Proof Obligations – 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. It therefore addresses Top
