Model checking EM Clarke International Conference on Foundations of Software Technology and …, 1997 | 14800 | 1997 |
Counterexample-guided abstraction refinement E Clarke, O Grumberg, S Jha, Y Lu, H Veith International Conference on Computer Aided Verification, 154-169, 2000 | 2407 | 2000 |
Model checking and abstraction EM Clarke, O Grumberg, DE Long ACM transactions on Programming Languages and Systems (TOPLAS) 16 (5), 1512-1542, 1994 | 2262 | 1994 |
Counterexample-guided abstraction refinement for symbolic model checking E Clarke, O Grumberg, S Jha, Y Lu, H Veith Journal of the ACM (JACM) 50 (5), 752-794, 2003 | 1165 | 2003 |
Model checking and modular verification O Grumberg, DE Long ACM Transactions on Programming Languages and Systems (TOPLAS) 16 (3), 843-871, 1994 | 704 | 1994 |
Abstract interpretation of reactive systems D Dams, R Gerth, O Grumberg ACM Transactions on Programming Languages and Systems (TOPLAS) 19 (2), 253-291, 1997 | 685* | 1997 |
Characterizing finite Kripke structures in propositional temporal logic MC Browne, EM Clarke, O Grümberg Theoretical computer science 59 (1-2), 115-131, 1988 | 582 | 1988 |
Verification tools for finite-state concurrent systems E Clarke, O Grumberg, D Long Workshop/School/Symposium of the REX Project (Research and Education in …, 1993 | 440 | 1993 |
Efficient generation of counterexamples and witnesses in symbolic model checking EM Clarke, O Grumberg, KL McMillan, X Zhao Proceedings of the 32nd annual ACM/IEEE Design Automation Conference, 427-432, 1995 | 343 | 1995 |
Reasoning about networks with many identical finite-state processes EM Clarke, O Grumberg, MC Browne Proceedings of the fifth annual ACM symposium on Principles of distributed …, 1986 | 329 | 1986 |
Progress on the state explosion problem in model checking E Clarke, O Grumberg, S Jha, Y Lu, H Veith Informatics, 176-194, 2001 | 319 | 2001 |
Verification of the Futurebus+ cache coherence protocol EM Clarke, O Grumberg, H Hiraishi, S Jha, DE Long, KL McMillan, ... Computer Hardware Description Languages and Their Applications, 15-30, 1993 | 264 | 1993 |
State space reduction using partial order techniques EM Clarke, O Grumberg, M Minea, D Peled International Journal on Software Tools for Technology Transfer 2 (3), 279-287, 1999 | 243 | 1999 |
Another look at LTL model checking E Clarke, O Grumberg, K Hamaguchi International Conference on Computer Aided Verification, 415-427, 1994 | 222 | 1994 |
Model checking and modular verification O Grumberg, DE Long International Conference on Concurrency Theory, 250-265, 1991 | 222 | 1991 |
Efficient on-the-fly model checking for CTL G Bhat, R Cleaveland, O Grumberg Proceedings of Tenth Annual IEEE Symposium on Logic in Computer Science, 388-397, 1995 | 206 | 1995 |
Another look at LTL model checking EM Clarke, O Grumberg, K Hamaguchi Formal Methods in System Design 10 (1), 47-71, 1997 | 205 | 1997 |
Avoiding the state explosion problem in temporal logic model checking EM Clarke, O Grumberg Proceedings of the sixth annual ACM Symposium on Principles of distributed …, 1987 | 199 | 1987 |
Verification of the Futurebus+ cache coherence protocol EM Clarke, O Grumberg, H Hiraishi, S Jha, DE Long, KL McMillan, ... Formal Methods in System Design 6 (2), 217-232, 1995 | 182 | 1995 |
Model checking EM Clark, O Grumberg, DA Peled The MIT Press 288, 289, 1999 | 181 | 1999 |