A Comprehensive Specification and Verification of the L4 Microkernel API
TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, PT II, TACAS 2024（2024）
关键词
Formal Specification,Theorem Proving,L4 API,Correctness,Safety,Refinement,Isabelle/HOL
AI 理解论文
溯源树
样例
生成溯源树，研究论文发展脉络
Chat Paper
正在生成论文摘要