Multi-Valued Symbolic Model-Checking (2003)

by Marsha Chechik , Benet Devereux , Steve Easterbrook , Arie Gurfinkel
Venue:ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY
Citations:50 - 16 self

Active Bibliography

8 Multi-Valued Symbolic Model-Checking: Fairness, Counter-Examples, Running Time – Arie Gurfinkel - 2003
8 Lightweight Reasoning About Program Correctness – Marsha Chechik, Wei Ding - 2000
2 Data Structures for Symbolic Multi-Valued Model-Checking – Marsha Chechik, Arie Gurfinkel, Benet Devereux, Albert Lai, Steve Easterbrook - 2006
31 Model-Checking Over Multi-Valued Logics – Marsha Chechik, Steve Easterbrook, Victor Petrovykh - 2001
10 Model Checking with Multi-Valued Temporal Logics – Marsha Chechik, Steve Easterbrook, Benet Devereux - 2000
2407 Compositional Model Checking – E. M. Clarke, D. E. Long, K. L. Mcmillan - 1999
6 CTL Model-Checking over Logics with Non-Classical Negations – Marsha Chechik, Wendy MacCaull - 2003
11 Weak alphabet merging of partial behaviour models – Dario Fischbein, Greg Brunet, Marsha Chechik, Sebastian Uchitel, et al. - 2011
74 Generalized Model Checking: Reasoning about Partial State Spaces – Glenn Bruns, Patrice Godefroid - 2000
70 Model Checking Complete Requirements Specifications Using Abstraction – Ramesh Bharadwaj, Constance L. Heitmeyer - 1999
Abstraction Techniques for Verification of . . . – Constantin Enea - 2011
24 Composite Model Checking: Verification with Type-Specific Symbolic Representations – Tevfik Bultan, Richard Gerber, Christopher League - 2000
16 Efficient Multiple-Valued Model-Checking Using Lattice Representations – Marsha Chechik, Benet Devereux, Steve Easterbrook, Albert Y. C. Lai, Victor Petrovykh - 2001
6 Refinement of LTL Formulas for Abstract Model Checking – MarĂ­a Del Mar Gallardo, Pedro Merino, Ernesto Pimentel - 2002
Automated Paraconsistent Reasoning via Model Checking – Steve Easterbrook, Marsha Chechik - 2001
1 Static Analysis of Topology-dependent Broadcast Networks – Sebastian Nanz, Flemming Nielson, Hanne Riis Nielson
6 Consistent partial model checking – Michael Huth, Shekhar Pradhan - 2004
7 Events in Linear-Time Properties – Dimitrie O. Paun, Marsha Chechik - 1999
11 A domain equation for refinement of partial systems – Michael R. A. Huth, Radha Jagadeesan, David A. Schmidt