VST：经过验证的软件工具链

【文件属性】：

文件名称：VST：经过验证的软件工具链

文件大小：8.61MB

文件格式：ZIP

更新时间：2024-03-06 23:37:28

Coq

来自 ， ， ， ， ， ， ，，王钦石等。 文件包含有关版权，许可和权限的信息。 如何安装： 。 说明文件： 描述了该项目的目标，并具有许多相关出版物的链接。 有关如何使用Verifiable C的介绍，请，或参阅以获得有关练习的教程。 ，安德鲁·W·阿Perl（Andrew W. Appel）等人，剑桥大学出版社，2014年。 。