computer program reliabilitycomputer programs; computer logic; artificial intelligence; input output processing; transformational grammars; invariance; hypotheses;
机译:使用自动定理证明器验证断言语言重写规则和语义
机译:定理证明在资源受限的调度程序中正式断言的高级综合开发
机译:汽车产品数据管理的证明一致性断言
机译:证明有关操纵数据结构的程序的断言
机译:证明定理的方法指导形式断言的开发以及将其嵌入高级VLSI综合系统中。
机译:在断言的回归测试程序中在测试用例优先级中使用模糊逻辑
机译:“ a la Burstall”间歇断言归纳原理,用于证明程序的必然性
机译:'有时'有时比'总是'更好。证明程序正确性的断断续续断言。