Model Checking and Modular Verification (1991)

Cached

Download Links

by Orna Grumberg , David E. Long
Venue:ACM Transactions on Programming Languages and Systems
Citations:271 - 11 self

Active Bibliography

2408 Compositional Model Checking – E. M. Clarke, D. E. Long, K. L. Mcmillan - 1999
117 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
111 Another Look at LTL Model Checking – E. Clarke, O. Grumberg, K. Hamaguchi - 1994
Local Model Checking in Park's µ-Calculus – Alexander Kick - 1996
3 Distributed Symbolic Model Checking for μ-calculus – Orna Grumberg, Tamir Heyman, Assaf Schuster - 2001
573 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
57 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
22 Verifying Parameterized Networks – E. M. Clarke, O. Grumberg, S. Jha - 1997
91 Tableau-Based Model Checking in the Propositional Mu-Calculus – Rance Cleaveland - 1990
22 Symbolic Protocol Verification with Queue BDDs – Patrice Godefroid, David E. Long - 1997
13 Compositional Verification by Model Checking for Counter-Examples – Tevfik Bultan, Jeffrey Fischer, Richard Gerber - 1996
7 From church and prior to psl – Moshe Y. Vardi - 2008
11 Branching vs. linear time – semantical perspective – Sumit Nain, Moshe Y. Vardi
A Polyadic Modal µ-Calculus – Henrik Reif Andersen - 1994