temporal logic; rewriting systems; specification languages; hardware-software codesign; propositional temporal logic; axiomatization; rewriting logic; efficient model checker; software-hardware system; Maude system; hardware-software system; specification language; Muller-C circuits; critical software;
机译:基于重写的线性线性时序逻辑的基于模型的检查器
机译:命题线性时间时间逻辑的公理化
机译:命题投影时间逻辑的基于规范形式的决策程序和模型检查方法
机译:基于重写逻辑命题时间逻辑的Theaxiomatszation的一种有效的模型检查器
机译:查看基于时间逻辑使用情况统计信息的逻辑设计辅助系统
机译:结合归纳逻辑编程和命题模型的基于家庭的蛋白质远程同源性检测的判别方法
机译:基于重写的线性时序逻辑的基于重写的模型检查器