\chiChek: A Model Checker for Multi-Valued Reasoning.

Steve M. Easterbrook,Marsha Chechik,Benet Devereux,Arie Gurfinkel,Albert Y. C. Lai,Victor Petrovykh,Anya Tafliovich,Christopher D. Thompson-Walsh

ICSE（2003）

引用 5|浏览41

暂无评分

摘要

This paper describes our multi-valued symbolic model-checker XChek. XChek is a generalization of an existing symbolic model-checking algorithm for a multi-valued extension of the temporal logic CTL. Multi-valued model-checking supports reasoning with values other than just TRUE and FALSE.

查看译文

关键词

temporal logic,boolean algebra,formal verification

AI 理解论文

溯源树

样例

生成溯源树，研究论文发展脉络

Chat Paper

正在生成论文摘要