DIVINE - A tool for distributed verification

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

Volumn 4144 LNCS, Issue , 2006, Pages 278-281

  Barnat, Jiří ^a   Brim, Luboš ^a   Černá, Ivana ^a   Moravec, Pavel ^a   Ročkai, Petr ^a   Šimeček, Pavel ^a  

^a MASARYK UNIVERSITY   (Czech Republic)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; ARCHITECTURAL DESIGN; DATA STORAGE EQUIPMENT; DISTRIBUTED COMPUTER SYSTEMS; MATHEMATICAL MODELS; USER INTERFACES;

ARCHITECTURE DECISIONS; DISTRIBUTED MEMORY ALGORITHMS; DISTRIBUTED VERIFICATION; REACHABILITY ANALYSIS;

COMPUTER SOFTWARE;

EID: 33749822525     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11817963_26     Document Type: Conference Paper

References (8)

1. J. Barnat, L. Brim, and I. Černá. Distributed Analysis of Large Systems. In Proc. of the 4th International Symposium on Formal Methods for Components and Objects (FMCO 05), LNCS. Springer, 2006.
2. J. Barnat, V. Forejt, M. Leucker, and M. Weber. DivSPIN - A SPIN compatible distributed model checker. In Proc. 4th International Workshop on Parallel and Distributed Methods in verification, pages 95-100, 2005.
3. G. Behrmann, T. S. Hune, and F. W. Vaandrager. Distributed timed model checking - how the search order matters. In Proc. of the 12th International Conference on Computer Aided Verification, volume 1855 of LNCS, pages 216-231. Springer, 2000.
4. B. Bollig, M. Leucker, and M. Weber. Parallel model checking for the alternation free μ-calculus. In Proc. of the 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'01), volume 2031 of LNCS, pages 543-558. Springer, 2001.
5. DIVINE project web page: http://anna.fi.muni.cz/divine/.
6. H. Garavel, R. Mateescu, and I.M Smarandache. Parallel State Space Construction for Model-Checking. In Proc. of the 8th International SPIN Workshop on Model Checking of Software (SPIN'01), volume 2057 of LNCS, pages 200-216. Springer, 2001.
7. F. Holmen, M. Leucker, and M. Lindstrom. Uppdmc: A distributed model checker for fragments of the mu-calculus. Electronic Notes in Theoretical Computer Science, 128(3):91-105, 2005.
8. F. Lerda and R. Sisto. Distributed-memory model checking with SPIN. In Proc. of the 5th International SPIN Workshop, volume 1680 of LNCS, pages 22-39. Springer, 1999.