VST:经过验证的软件工具链 源码

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