Isabelle; Time complexity analysis; Separation logic Program verification;
机译:在Isabelle / HOL中编程和验证声明性一阶证明人
机译:在Maude中执行和验证高阶功能命令程序
机译:研究命令式程序的验证条件
机译:验证Isabelle命令式程序的渐近时间复杂度
机译:定时改进用于验证实时对象代码程序
机译:使用差异约束的命令式程序的复杂性和资源限制分析
机译:验证伊莎贝尔势在必行计划的渐近时间复杂性