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

2407 Compositional Model Checking – E. M. Clarke, D. E. Long, K. L. Mcmillan - 1999
118 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
574 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
21 Verifying Parameterized Networks – E. M. Clarke, O. Grumberg, S. Jha - 1997
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
Jamal Bentahar A Pragmatic and Semantic Unified Framework for Agent Communication – Thèse Présentée, Université Laval
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
102 The concurrency workbench: A semantics based tool for the verification of concurrent systems – Rance Cleaveland, Joachim Parrow, Bernhard Steffen - 1991
12 Branching vs. linear time – semantical perspective – Sumit Nain, Moshe Y. Vardi