Compositional Model Checking (1999)

by E. M. Clarke , D. E. Long , K. L. Mcmillan
Citations:2403 - 62 self

Active Bibliography

4 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 - 2001
3 Formal Verification of Concurrent Programs Based on Type Theory – Shen-Wei Yu - 1998
106 Design of Embedded Systems: Formal Models, Validation, and Synthesis – S. Edwards, L. Lavagno, E. A. Lee, A. Sangiovanni-Vincentelli - 1999
74 Generalized Model Checking: Reasoning about Partial State Spaces – Glenn Bruns, Patrice Godefroid - 2000
96 Model Checking Partial State Spaces with 3-Valued Temporal Logics (Extended Abstract) – Glenn Bruns, Patrice Godefroid - 1999
1 Abstraction as the Key for Invariant Verification – Saddek Bensalem, Susanne Graf, Yassine Lakhnech, Avenue De Vignate
23 Datalog LITE: A deductive query language with linear time model checking – Georg Gottlob, Erich Grädel, Helmut Veith
22 Symbolic Protocol Verification with Queue BDDs – Patrice Godefroid, David E. Long - 1997
Queue manager – Université Claude Bernard, Pedro Tiago, Gonçalves Monteiro, Doutor Radu Mateescu - 2013
118 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
24 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