Deductive verification; Interactive proof; Cloud hypervisor; FRAMA-C; Specification; Concurrency;
机译:用Frama-C进行形式验证:以空间软件领域为例
机译:使用UPPAAL的系统的正式规范和验证:以防御型导弹系统为例
机译:致力于自动生成形式规范以验证和验证可靠的分布式系统:以工业案例研究为例的方法
机译:带有Frama-C的Anaxagoros系统管理程序分页系统形式验证的案例研究
机译:安全和正式验证的商品多处理器管理程序
机译:网络物理系统中控制模块的正式验证
机译:用蛙-C与Anaxagoros虚拟机管理程序寻呼系统正式验证的案例研究