Compositional Model Checking (1999)

by E. M. Clarke , D. E. Long , K. L. Mcmillan
Citations:2026 - 60 self

Active Bibliography

3 Automatic Abstraction in Model Checking – Yuan Lu - 2000
9 Linear Time Datalog and Branching Time Logic – Georg Gottlob, Erich Grädel, Helmut Veith
Improving Compositional Verification through Environment Synthesis and Syntactic Model Reduction – Hong Peng - 2002
31 Symbolic Guided Search for CTL Model Checking – Roderick Bloem, Kavita Ravi, Fabio Somenzi - 2000
1 Search Techniques and Automata for Symbolic Model Checking – Roderick P. Bloem, Written Roderick P. Bloem, Fabio Somenzi, Orna Kupferman - 2001
3 Formal Verification of Concurrent Programs Based on Type Theory – Shen-Wei Yu - 1998
92 Design of Embedded Systems: Formal Models, Validation, and Synthesis – S. Edwards, L. Lavagno, E. A. Lee, A. Sangiovanni-Vincentelli - 1999
80 Model Checking Partial State Spaces with 3-Valued Temporal Logics (Extended Abstract) – Glenn Bruns, Patrice Godefroid - 1999
65 Generalized Model Checking: Reasoning about Partial State Spaces – Glenn Bruns, Patrice Godefroid - 2000
1 Abstraction as the Key for Invariant Verification – Saddek Bensalem, Susanne Graf, Yassine Lakhnech, Avenue De Vignate
18 Datalog LITE: A deductive query language with linear time model checking – Georg Gottlob, Erich Grädel, Helmut Veith
20 Symbolic Protocol Verification with Queue BDDs – Patrice Godefroid, David E. Long - 1997
112 Verification Tools for Finite-State Concurrent Systems – E. Clarke, O. Grumberg, D. Long
1 Ameliorating the State Space Explosion Problem – Kedar Sharad Namjoshi, Kedar Sharad Namjoshi - 1998
Centro Per La Ricerca – Scientifica Tecnologica Povo, Istituto Trentino Di Cultura, Paolo Busetta, Giordano Adami, Francesco Palmieri
1 SYMBOLIC IMPLEMENTATION OF MODEL-CHECKING PROBABILISTIC TIMED AUTOMATA – Fuzhi Wang - 2006
20 Verifying temporal properties of reactive systems: A STeP tutorial – Nikolaj S. Bjørner, Anca Browne, Michael A. Colon, Bernd Finkbeiner, Zohar Manna, Henny B. Sipma, Tomas E. Uribe - 2000
3 Establishing PCI Compliance using Formal Verification: a Case Study – Ilan Beer, Shoham Ben-david, Cindy Eisner, Yechiel Engel, Raanan Gewirtzman, Avner L - 1995
41 Implementation of Symbolic Model Checking for Probabilistic Systems – David Anthony Parker - 2002