526互联

c-parser

Isabelle上安装c-parser和autocorres

c-parser，autocorres都是在Isabelle上形式验证c代码的工具，它们都是seL4项目的一部分，而这些所有的工具都是主要基于Linux的，所以建议在Linux上安装，以下内容是在WSL上安装的过程。 进行安装前必要的步骤： 支持WSL图形化的Windows系统，我个人用的是win1 ......
autocorres Isabelle c-parser parser
共1篇  :1/1页 首页上一页1下一页尾页