DiVinE multi-core - A parallel LTL model-checker

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

Volumn 5311 LNCS, Issue , 2008, Pages 234-239

  Barnat, Jiri ^a   Brim, Lubos ^a   Ročkai, Petr ^a  

^a MASARYK UNIVERSITY   (Czech Republic)

Author keywords

[No Author keywords available]

Indexed keywords

MEMORY ARCHITECTURE;

CPU CORES; DISTRIBUTED MEMORY ALGORITHMS; LTL MODEL-CHECKING; MODEL CHECKER; MULTI CORE; REACHABILITY ANALYSIS; SHARED MEMORY; SINGLE CPU;

MODEL CHECKING;

EID: 56749131114     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-88387-6_20     Document Type: Conference Paper

References (9)

1. Barnat, J., Brim, L., Ročkai, P.: Scalable multi-core ltl model-checking. In: Bošnački. D., Edelkamp, S. (eds.) SPIN 2007. LNCS, vol. 4595, pp. 187-203. Springer, Heidelberg (2007)
2. Barnat, J., Brim, L., Černá, I., Moravec, P., Ročkai, P., Šimeček, P.: DiVinE - A Tool for Distributed Verification (Tool Paper). In: Ball, T., Jones, R.B. (eds.) CAV 2006. LNCS, vol. 4144, pp. 278-281. Springer, Heidelberg (2006)
3. Barnat, J.. Ročkai, P.: Shared Hash Tables in Parallel Model Checking. In: Participant proceedings of the Sixth International Workshop on Parallel and Distributed Methods in verification (PDMC 2007), pp. 81-95. CTIT, University of Twente (2007)
4. Brim, L., Černá, I., Moravec, P., Šimša, J.: Accepting Predecessors are Better than Back Edges in Distributed LTL Model-Checking. In: Hu, A.J., Martin, A.K. (eds.) FMCAD 2004. LNCS. vol. 3312. pp. 352-366. Springer, Heidelberg (2004)
5. Černá, I., Pelánek, R.: Distributed explicit fair cycle detection (set based approach). In: Ball, T., Rajamani, S.K. (eds.) SPIN 2003. LNCS. vol. 2648, pp. 49-73. Springer. Heidelberg (2003)
6. DiVinE - Distributed Verification Environment, Masaryk University Brno, http://anna.fi.muni.cz/divine-mc/
7. Holzmann, G. J., Bosnacki, D.: The design of a multicore extension of the spin model checker. IEEE Transactions on Software Engineering 33(10). 659-674 (2007)
8. Pelánek. R.: BEEM: BEnchmarks for Explicit Model checkers (February 2007), http://anna.fi.muni.cz/models/index.html
9. Vardi, M.Y., Wolper, P.: An automata-theoretic approach to automatic program verification. In: Proc. IEEE Symposium on Logic in Computer Science, pp. 322-331. IEEE Computer Society Press. Los Alamitos (1986)