DiVinE 2.0: High-performance model checking

HiBi09 - 2009 International Workshop on High Performance Computational Systems Biology

Volumn , Issue , 2009, Pages 31-32

  Barnat, J ^a   Brim, L ^a   Rockai P ^a  

^a MASARYK UNIVERSITY   (Czech Republic)

Author keywords

[No Author keywords available]

Indexed keywords

HIGH-PERFORMANCE CLUSTERS; LTL MODEL-CHECKING; MODELLING LANGUAGE; MULTI-CORE SYSTEMS; PERFORMANCE MODEL; PROBLEM DOMAIN; REACHABILITY ANALYSIS;

BIOLOGY; LINGUISTICS; MICROPROCESSOR CHIPS; PARALLEL ALGORITHMS;

MODEL CHECKING;

EID: 73449144443     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/HiBi.2009.10     Document Type: Conference Paper

References (8)

1. J. Barnat, L. Brim, I. Černá, S. Dražan, and D. Šafránek, "Parallel model checking large-scale genetic regulatory networks with divine," Electron. Notes Theor. Comput. Sci., vol. 194, no. 3, pp. 35 - 50, 2008.
2. J. Barnat, L. Brim, I. Černá, P. Moravec, P. Ročkai, and P. Šimeček, "DiVinE - A Tool for Distributed Verification (Tool Paper)," in Computer Aided Verification, ser. LNCS, vol. 4144/2006. Springer Berlin / Heidelberg, 2006, pp. 278-281.
3. Message Passing Interface Forum, "MPI: A Message-Passing Interface Standard Version 2.1," 2008. [Online]. Available: http://www.mpi-forum. org/docs/mpi21-report.pdf
4. J. Barnat, L. Brim, and P. Ročkai, "Scalable Multi-core LTL Model-Checking," in Model Checking Software, ser. LNCS, vol. 4595. Springer, 2007, pp. 187 - 203.
5. --, "DiVinE Multi-Core - A Parallel LTL Model-Checker," in Automated Technology for Verification and Analysis, ser. LNCS, vol. 5311. Springer, 2008, pp. 234 - 239.
6. "DiVinE - Distributed Verification Environment, Masaryk University Brno." [Online]. Available: http://divine.fi.muni.cz/
7. M. Vardi and P. Wolper, "An automata-theoretic approach to automatic program verification," in Proc. IEEE Symposium on Logic in Computer Science. Computer Society Press, 1986, pp. 322 - 331.
8. IEEE, IEEE 1003.1c-1995: Information Technology - Portable Operating System Interface (POSIX) - System Application Program Interface (API) Amendment 2: Threads Extension (C Language). IEEE Computer Society Press, 1995.