Multi-core LTSmin: Marrying modularity and scalability

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

Volumn 6617 LNCS, Issue , 2011, Pages 506-511

  Laarman, Alfons ^a   Van De Pol, Jaco ^a   Weber, Michael ^a  

^a UNIVERSITY OF TWENTE   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

ANALYSIS ALGORITHMS; BEHAVIORAL SPECIFICATION; DISTRIBUTED MODEL CHECKING; KEY FEATURE; LARGE GRAPHS; LOAD-BALANCING; MEMORY USAGE; MULTI CORE; ON-THE-FLY; SAFETY PROPERTY; STATE SPACE; TOOLSETS;

ALGORITHMIC LANGUAGES; ALGORITHMS; FORMAL METHODS; MATHEMATICAL MODELS; NASA;

MODEL CHECKING;

EID: 79955031503     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-20398-5_40     Document Type: Conference Paper

References (11)

1. Barnat, J., Ročkai, P.: Shared hash tables in parallel model checking. Elec. Notes in Theor. Comp. Sc. 198(1), 79-91 (2008);
2. Proc. of the 6th International Workshop on Parallel and Distributed Methods in verifiCation (PDMC 2007)
3. Blom, S., van de Pol, J., Weber, M.: Bridging the gap between enumerative and symbolic model checkers. Tech. Rep. TR-CTIT-09-30, Centre for Telematics and Information Technology, University of Twente, Enschede (2009)
4. Blom, S., Lisser, B., van de Pol, J., Weber, M.: A database approach to distributed state space generation. In: Sixth Intl. Workshop on Par. and Distr. Methods in verifiCation, PDMC, pp. 17-32. CTIT, Enschede (2007)
5. Blom, S., van de Pol, J., Weber, M.: LTSmin: Distributed and symbolic reachability. In: Touili, T., Cook, B., Jackson, P. (eds.) CAV 2010. LNCS, vol. 6174, pp. 354-359. Springer, Heidelberg (2010)
6. Holzmann, G.J., Bošnacki, D.: The design of a multicore extension of the SPIN model checker. IEEE Trans. Softw. Eng. 33(10), 659-674 (2007)
7. Laarman, A.W., van de Pol, J.C., Weber, M.: Boosting multi-core reachability performance with shared hash tables. In: Sharygina, N., Bloem, R. (eds.) Proceedings of the 10th International Conference on Formal Methods in Computer-Aided Design, Lugano, Swiss. IEEE Computer Society, USA (2010)
8. Nguyen, V.Y., Ruys, T.C.: Incremental hashing for spin. In: Havelund, K., Majumdar, R., Palsberg, J. (eds.) SPIN 2008. LNCS, vol. 5156, pp. 232-249. Springer, Heidelberg (2008)
9. Pelánek, R.: BEEM: Benchmarks for explicit model checkers. In: Bošnački, D., Edelkamp, S. (eds.) SPIN 2007. LNCS, vol. 4595, pp. 263-267. Springer, Heidelberg (2007)
10. Sanders, P.: Load Balancing Algorithms for Parallel Depth First Search. Ph.D. thesis, University of Karlsruhe (1997)
11. Zobrist, A.L.: A new hashing method with application for game playing. Tech. Rep. 88, Computer Sciences Department, University of Wisconsin (1969)