Search
A Proof-Based Mechanized Plate-Forme for the Verification of B Proof Obligations – BWare
partners (Mitsubishi Electric R&D Centre Europe, ClearSy, and OCamlPro). This will ensure an excellent [...] tool of an industrial partner (Atelier B from ClearSy) for evaluation over industrial applications and