Extending Extended Vacuity
暂无分享,去创建一个
[1] Radha Jagadeesan,et al. On the Expressiveness of 3-Valued Models , 2002, VMCAI.
[2] Robin Milner,et al. An Algebraic Definition of Simulation Between Programs , 1971, IJCAI.
[3] Fabio Somenzi,et al. Vacuum Cleaning CTL Formulae , 2002, CAV.
[4] Orna Kupferman. Augmenting Branching Temporal Logics with Existential Quantification over Atomic Propositions , 1995, CAV.
[5] Stephan Merz,et al. Model Checking , 2000 .
[6] Tim French. Decidability of Quantifed Propositional Branching Time Logics , 2001, Australian Joint Conference on Artificial Intelligence.
[7] Rajeev Alur,et al. A Temporal Logic of Nested Calls and Returns , 2004, TACAS.
[8] R. Milner,et al. Bigraphical Reactive Systems , 2001, CONCUR.
[9] Marsha Chechik,et al. Multi-Valued Model Checking via Classical Model Checking , 2003, CONCUR.
[10] Orna Grumberg,et al. Enhanced Vacuity Detection in Linear Temporal Logic , 2003, CAV.
[11] Andreas Podelski,et al. Boolean and Cartesian Abstraction for Model Checking C Programs , 2001, TACAS.
[12] S. C. Kleene,et al. Introduction to Metamathematics , 1952 .
[13] Markus Stumptner,et al. AI 2001: Advances in Artificial Intelligence , 2002, Lecture Notes in Computer Science.
[14] Orna Kupferman,et al. Vacuity Detection in Temporal Model Checking , 1999, CHARME.
[15] Hassen Saïdi,et al. Construction of Abstract State Graphs with PVS , 1997, CAV.
[16] Ilan Beer,et al. Efficient Detection of Vacuity in Temporal Model Checking , 2001, Formal Methods Syst. Des..
[17] Marsha Chechik,et al. chi-Chek: A Multi-valued Model-Checker , 2002, CAV.
[18] Radha Jagadeesan,et al. Abstraction-Based Model Checking Using Modal Transition Systems , 2001, CONCUR.
[19] C. Eisner,et al. Efficient Detection of Vacuity in ACTL Formulaas , 1997, CAV.
[20] Andreas Podelski,et al. Boolean and Cartesian abstraction for model checking C programs , 2001, International Journal on Software Tools for Technology Transfer.
[21] Orna Grumberg,et al. A game-based framework for CTL counterexamples and 3-valued abstraction-refinement , 2003, TOCL.
[22] Zohar Manna,et al. The Temporal Logic of Reactive and Concurrent Systems , 1991, Springer New York.
[23] Patrice Godefroid,et al. Generalized Model Checking: Reasoning about Partial State Spaces , 2000, CONCUR.
[24] Radha Jagadeesan,et al. Model checking partial state spaces with 3-valued temporal logics , 2001 .
[25] Kousha Etessami,et al. Optimizing Büchi Automata , 2000, CONCUR.
[26] Kousha Etessami,et al. Analysis of Recursive Game Graphs Using Data Flow Equations , 2004, VMCAI.
[27] Radha Jagadeesan,et al. Automatic Abstraction Using Generalized Model Checking , 2002, CAV.
[28] Marsha Chechik,et al. How Vacuous Is Vacuous? , 2004, TACAS.
[29] Cnrs Fre,et al. Model Checking a Path (Preliminary Report) , 2003 .
[30] Frank S. de Boer,et al. An Algebraic Perspective of Constraint Logic Programming , 1997, J. Log. Comput..