SMTLIB2.6 translation of proof obligations from the B formal method
收藏数据链接：
官方服务：
资源简介：
These files have been produced from the POG files using the program ppTransSmt, distributed with Atelier B. The source code of this version of ppTransSmt correspond to git commit `abb8ad04003803ea3683d8069363681e92308ebf` (in the private repository<br> of Atelier B).<br>
提供机构：
Zenodo创建时间：
2022-09-05
