|
2028
|
Compositional Model Checking
– E. M. Clarke, D. E. Long, K. L. Mcmillan
- 1999
|
|
112
|
Verification Tools for Finite-State Concurrent Systems
– E. Clarke, O. Grumberg, D. Long
|
|
4
|
Symmetry and induction in model checking
– Edmund M. Clarke, Stephen Brookes
- 1995
|
|
100
|
Another Look at LTL Model Checking
– E. Clarke, O. Grumberg, K. Hamaguchi
- 1994
|
|
|
Local Model Checking in Park's µ-Calculus
– Alexander Kick
- 1996
|
|
1
|
Distributed Symbolic Model Checking for μ-calculus
– Orna Grumberg, Tamir Heyman, Assaf Schuster
- 2001
|
|
488
|
Symbolic Model Checking: 10^20 States and Beyond
– J. R. Burch, E. M. Clarke, K. L. McMillan, D. L. Dill, L. J. Hwang
- 1992
|
|
7
|
A Structural Linearization Principle for Processes
– Robert P. Kurshan, Michael Merritt, Sonia R. Sachs
- 1994
|
|
|
Figure 4.9: Trajectories in the
– Gamma Plane In
- 30
|
|
3
|
Formal Verification of Concurrent Programs Based on Type Theory
– Shen-Wei Yu
- 1998
|
|
55
|
An Improved Algorithm for the Evaluation of Fixpoint Expressions
– A. Browne, E. M. Clarke, S. Jha, D. E. Long, W. Marrero
- 1996
|
|
|
Generation of Witnesses for Global µ-Calculus Model Checking
– Alexander Kick
|
|
21
|
Verifying Parameterized Networks
– E. M. Clarke, O. Grumberg, S. Jha
- 1997
|
|
80
|
Tableau-Based Model Checking in the Propositional Mu-Calculus
– Rance Cleaveland
- 1990
|
|
20
|
Symbolic Protocol Verification with Queue BDDs
– Patrice Godefroid, David E. Long
- 1997
|
|
12
|
Compositional Verification by Model Checking for Counter-Examples
– Tevfik Bultan, Jeffrey Fischer, Richard Gerber
- 1996
|
|
95
|
The concurrency workbench: A semantics based tool for the verification of concurrent systems
– Rance Cleaveland, Joachim Parrow, Bernhard Steffen
- 1991
|
|
7
|
Branching vs. linear time – semantical perspective
– Sumit Nain, Moshe Y. Vardi
|
|
|
A Polyadic Modal µ-Calculus
– Henrik Reif Andersen
- 1994
|
