SMTLIB2.6 translation of proof obligations from the B formal method
收藏NIAID Data Ecosystem2026-03-14 收录
下载链接：
https://zenodo.org/record/7050944
下载链接
链接失效反馈官方服务：
资源简介：
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
of Atelier B).
创建时间：
2022-10-04
