|
11
|
Combinations of model checking and theorem proving
– Tomás E. Uribe
- 2000
|
|
5
|
Symbolic Analysis of Transition Systems
– Natarajan Shankar
- 2000
|
|
2028
|
Compositional Model Checking
– E. M. Clarke, D. E. Long, K. L. Mcmillan
- 1999
|
|
92
|
Design of Embedded Systems: Formal Models, Validation, and Synthesis
– S. Edwards, L. Lavagno, E. A. Lee, A. Sangiovanni-Vincentelli
- 1999
|
|
4
|
Abstraction and Modular Verification of Infinite-State Reactive Systems
– Zohar Manna, Michael A. Colon, Bernd Finkbeiner, Henny B. Sipma, Tomas E. Uribe
- 1998
|
|
|
Distributed Symbolic Reachability Analysis by
– Ming-ying Chung, Ming-ying Chung, Ming-ying Chung
- 2007
|
|
77
|
Visual Verification of Reactive Systems
– Luca de Alfaro, Zohar Manna, Henny B. Sipma, Tomás E. Uribe
- 1997
|
|
1
|
Abstraction as the Key for Invariant Verification
– Saddek Bensalem, Susanne Graf, Yassine Lakhnech, Avenue De Vignate
|
|
97
|
Computing abstractions of infinite state systems compositionally and automatically
– S. Bensalem, Y. Lakhnech, S. Owre
- 1998
|
|
37
|
Automated Temporal Reasoning about Reactive Systems
– E. Allen Emerson
- 1996
|
|
1
|
Model Checking: Back and Forth Between Hardware and Software
– Edmund Clarke, Anubhav Gupta, Himanshu Jain, Helmut Veith
|
|
24
|
Characterization of a Sequentially Consistent Memory and Verification of a Cache Memory by Abstraction
– Susanne Graf
- 1995
|
|
5
|
Using counterexamples for improving the precision of reachability computation with polyhedra
– Chao Wang, Zijiang Yang, Aarti Gupta, Franjo Ivančić
- 2007
|
|
18
|
Datalog LITE: A deductive query language with linear time model checking
– Georg Gottlob, Erich Grädel, Helmut Veith
|
|
1
|
Automatic Verification of Parameterized Systems
– Jiazhao (jessie Xu, Advisor Amir Pnueli
- 2005
|
|
3
|
Formal Methods in VLSI System Design
– Adnan Aziz
- 1996
|
|
3
|
Automatic Abstraction in Model Checking
– Yuan Lu
- 2000
|
|
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
|
