2023年12月8日
Isabelle上安装c-parser和autocorres
摘要： c-parser，autocorres都是在Isabelle上形式验证c代码的工具，它们都是seL4项目的一部分，而这些所有的工具都是主要基于Linux的，所以建议在Linux上安装，以下内容是在WSL上安装的过程。 进行安装前必要的步骤： 支持WSL图形化的Windows系统，我个人用的是win1 阅读全文
posted @ 2023-12-08 16:56 日月久照 阅读(138) 评论(0) 推荐(0) 编辑