UppDMC: A distributed model checker for fragments of the μ-calculus

Electronic Notes in Theoretical Computer Science

Volumn 128, Issue 3, 2005, Pages 91-105

  Holmén, Fredrik ^a   Leucker, Martin ^a   Lindström, Marcus ^a  

^a UPPSALA UNIVERSITY   (Sweden)

Author keywords

calculus; Game based model checking; Model checking

Indexed keywords

ALGORITHMS; BENCHMARKING; COMPUTER SOFTWARE; COMPUTER WORKSTATIONS; DATA STORAGE EQUIPMENT; FINITE AUTOMATA; GAME THEORY; MATHEMATICAL MODELS; MATHEMATICAL OPERATORS; PROBLEM SOLVING;

Μ-CALCULUS; GAME-BASED MODEL CHECKING; MODEL CHECKING; SOFTWARE SYSTEMS;

DISTRIBUTED COMPUTER SYSTEMS;

EID: 16244387961     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2004.10.021     Document Type: Conference Paper

References (14)

1. J. Barnat, L. Brim, and I. Černá Property driven distribution of nested DFS VCL 2002: The Third International Workshop on Verification and Computational Logic 2002 Pittsburgh PA
2. B. Bollig, M. Leucker, and M. Weber. Local parallel model checking for the alternation free μ-calculus. Technical Report AIB-04-2001, RWTH Aachen
3. B. Bollig, M. Leucker, and M. Weber Local parallel model checking for the alternation-free mu-calculus Proceedings of the 9th International SPIN Workshop on Model checking of Software (SPIN '02) Lecture Notes in Computer Science volume 2318 2002 Springer-Verlag Inc.
4. L. Brim, I. Černá, P. Krčál, and R. Pelánek Distributed LTL model-checking based on negative cycle detection Proceedings of 21st Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS'01) Lecture Notes in Computer Science Dec. 2001 Springer
5. E.M. Clarke, O. Grumberg, and D.A. Peled Model Checking 1999 The MIT Press Cambridge, Massachusetts
6. M. Dam CTL* and ECTL* as fragments of the modal μ-calculus Theoretical Computer Science 126 1 Apr. 1994 77 96
7. E.W. Dijkstra, and C.S. Scholten Termination detection for diffusing computations Information Processing Letters 11 1 Aug. 1980 1 4
8. E.A. Emerson, C.S. Jutla, and A.P. Sistla On model-checking for fragments of mu-calculus Proc. 5th International Computer-Aided Verification Conference Lecture Notes in Computer Science volume 697 1993 Springer
9. The MPI Forum. Document for a Standard Message-Passing Interface. CS-93-214, University of Tennessee, 11 1993
10. O. Grumberg, T. Heyman, and A. Schuster Distributed symbolic model checking for μ-calculus Proceedings of the 13th Conference on Computer-Aided Verification (CAV'01) Lecture Notes in Computer Science volume 2102 July 2001 Springer 350 362
11. D. Kozen Results on the propositional mu-calculus Theoretical Computer Science 27 Dec. 1983 333 354
12. * and L μ 2 L. Brim O. Grumberg Electronic Notes in Theoretical Computer Science volume 89 2003 Elsevier Science Publishers
13. U. Stern, and D.L. Dill Parallelizing the Murφ verifier O. Grumberg Computer-Aided Verification, 9th International Conference Lecture Notes in Computer Science volume 1254 June 1997 Springer 256 267
14. C. Stirling. Games for bisimulation and model checking, July 1996. Notes for Mathfit Workshop on finite model theory, University of Wales, Swansea