OS验证论文-中科大1

【文件属性】：

文件名称：OS验证论文-中科大1

文件大小：3.43MB

文件格式：PDF

更新时间：2022-08-03 13:55:53

（2）一个支持多级中断的并发精化程序逻辑 CSL-R 用于验证内核代 （3）以及一些自动证明策略来提高验证效率 (2) a program logic CSL-