zenodoopen
SMTLIB2.6 translation of proof obligations from the B formal method
<p>These files have been produced from the <a href="https://doi.org/10.5281/zenodo.7050797">POG files</a> using the program ppTransSmt, distributed with Atelier B.</p> <p>The source code of this version of ppTransSmt correspond to git commit `abb8ad04003803ea3683d8069363681e92308ebf` (in the private repository<br> of Atelier B).<br> </p>
ShareScore
44/100
Overall dataset sharing score
Score breakdown
These five areas show where the dataset supports — or may limit — practical reuse.
- Stewardship
- 8
- Harmonization
- 4
- Access
- 16
- Reuse readiness
- 8
- Engagement
- 8
Topics
ScienceDex for faculty
Your academic CV and NIH biosketch
Make your CV in your school's format and your NIH biosketch from it, then download both as Word files.