Formal Verification
Published September 5, 2022 | Version 20220905
Dataset Open

Proof obligations from the B formal method

Authors/Creators

  • 1. CLEARSY

Description

Proof obligations generated with Atelier B, an IDE for the B method and Event-B.

The files are in the POG format.

Files

Files (66.4 MB)

Name Size Download all
md5:c565a6692dddf2c45ca2b8580e1109ca
66.4 MB Download

Additional details

Funding

Agence Nationale de la Recherche
BLaSST - Enhancing B Language Reasoners with SAT and SMT Techniques ANR-21-CE25-0010