Distributed analysis with μCRL: A compendium of case studies

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4424 LNCS, Issue , 2007, Pages 683-689

  Blom, Stefan ^b   Calamé, Jens R ^a   Lisser, Bert ^a   Orzan, Simona ^c   Pang, Jun ^d   Van De Pol, Jaco ^a,c   Dashti, Mohammad Torab ^a   Wijs, Anton J ^a  

^a CWI   (Netherlands)

^b UNIVERSITY OF INNSBRUCK   (Austria)

^c EINDHOVEN UNIVERSITY OF TECHNOLOGY   (Netherlands)

^d UNIVERSITY OF OLDENBURG   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

DISTRIBUTED COMPUTER SYSTEMS; GAME THEORY; MATHEMATICAL MODELS; SECURITY OF DATA; STATE SPACE METHODS; VERIFICATION; ARTIFICIAL INTELLIGENCE; COMPUTERS;

ABSTRACT DATA TYPES; DISTRIBUTED VERIFICATION TOOLS; PROCESS ALGEBRA; REDUCTION TOOLS; APPLICATION AREA; CLUSTERS OF WORKSTATIONS; DISTRIBUTED ANALYSIS; SECURITY ANALYSIS; STATE-SPACE GENERATION; TEST CASE GENERATION; VERIFICATION TOOLS;

COMPUTER AIDED SOFTWARE ENGINEERING; ABSTRACT DATA TYPES;

EID: 37149006887     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-71209-1_53     Document Type: Conference Paper

References (15)

1. G. Behrmann, T. Hune, and F.W. Vaandrager. Distributing Timed Model Checking - How the Search Order Matters. In Proc. CAV'00, volume 1855 of LNCS, pages 216-231, 2000.
2. S.C.C. Blom, W.J. Fokkink, J.F. Groote, I. van Langevelde, B. Lisser, and J.C. van de Pol. μCRL: A Toolset for Analysing Algebraic Specifications. In Proc. CAV'01, volume 2102 of LNCS, pages 250-254, 2001.
3. S.C.C. Blom, J.F. Groote, I. van Langevelde, B. Lisser, and J.C. van de Pol. New developments around the μCRL tool set. ENTCS, 80, 2003.
4. S.C.C. Blom and S.M. Orzan. A distributed algorithm for strong bisimulation reduction of state spaces. STTT, 7(1):74-86, 2005.
5. J.R. Calamé, N. Ioustinova, and J.C. van de Pol. Towards Automatic Generation of Parameterized Test Cases from Abstractions. Technical Report SEN-E0602, CWI, March 2006.
6. T. Chothia, S.M. Orzan, J. Pang, and M. Torabi Dashti. A framework for automatically checking anonymity with μCRL. In Proc. TGC06, LNCS, 2007.
7. D. Dill. The Mur Verification System. In Proc. CAV'96, volume 1102 of LNCS, pages 390-393, 1996.
8. H. Garavel, R. Mateescu, D. Bergamini, A. Curie, N. Descoubes, C. Joubert et al. DISTRIBUTOR and BCGMERGE: Tools for Distr. Explicit State Space Generation. In TACAS'06, volume 3920 of LNCS, pages 445-449, 2006.
9. H. Jonker, S. Krishnan Nair, and M. Torabi Dashti. Nuovo DRM paradiso. Technical Report SEN-R0602, CWI, Amsterdam, 2006.
10. F. Lerda and R. Sista. Distributed-Memory model checking with SPIN. In Proc. SPIN'99, volume 1680 of LNCS, pages 22-39, 1999.
11. B. Lisser. Distributed State Space Generator (preliminary), http://www.cwi.nl/ "mcrl/instantiators.pdf, 2006.
12. S.M. Orzan and J.C. van de Pol. Detecting strongly connected components in large distributed state spaces. Technical Report SEN-E0501, CWI, 2005.
13. J. Pang, W. J. Fokkink, R. F.H. Hofman, and R. Veldema. Model checking a cache coherence protocol of a Java DSM implementation. JLAP, 71:1-43, 2007.
14. A.J. Wijs and B. Lisser. Distributed Extended Beam Search for Quantitative Model Checking. In MoChArt'06, LNAI, 2007.
15. A.J. Wijs, J.C. van de Pol, and E. Bortnik. Solving Scheduling Problems by Untimed Model Checking. In Proc. FMICS '05, pages 54-61. ACM Press, 2005.