Shared Hash Tables in Parallel Model Checking

Electronic Notes in Theoretical Computer Science

Volumn 198, Issue 1, 2008, Pages 79-91

  Barnat, Jiří ^a   Ročkai, Petr ^a  

^a MASARYK UNIVERSITY   (Czech Republic)

Author keywords

Hash tables; locking schemes; parallel

Indexed keywords

DATA STORAGE EQUIPMENT; DISTRIBUTED COMPUTER SYSTEMS; MODEL CHECKING; SOFTWARE PROTOTYPING;

HASH TABLES; LOCKING SCHEMES; PROTOTYPE IMPLEMENTATION;

PARALLEL ALGORITHMS;

EID: 44349085931     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2007.10.021     Document Type: Article

References (17)

1. Barnat J., Brim L., and Chaloupka J. From Distributed Memory Cycle Detection to Parallel LTL Model Checking. Electronic Notes in Theoretical Computer Science 133 (2005) 21-39
2. Barnat, J., L. Brim and P. Ročkai, Scalable Multi-Core LTL Model-Checking, in: Proc. of SPIN 2007, to appear, LNCS 4595 (2007), pp. 197-203
3. Barnat J., Brim L., Černá I., Moravec P., Ročkai P., and Šimeček P. DiVinE - A Tool for Distributed Verification (Tool Paper). Computer Aided Verification. LNCS 4144/2006 (2006) 278-281
4. Behrmann G., Hune T.S., and Vaandrager F.W. Distributed timed model checking - how the search order matters. Proc. 12th Conference on Computer-Aided Verification CAV00. LNCS 1855 (2000) 216-231
5. Brim L., and Barnat J. Distribution of explicit-state ltl model-checking. In: Arts T., and Fokkink W. (Eds). 8th International Workshop on Formal Methods for Industrial Critical Systems. (FMICS 03). Electronic Notes in Theoretical Computer Science 80 (2003)
6. Brim, L., I. Černá, P. Moravec and J. Šimša, Distributed Partial Order Reduction of State Spaces, in: 3rd International Workshop on Parallel and Distributed Methods in verifiCation, 2004
7. Caselli S., Conte G., and Marenzoni P. Parallel state space exploration for GSPN models. In: de Michelis G., and Diaz M. (Eds). Applications and Theory of Petri Nets 1995. LNCS 935 (1995) 181-200
8. Černá I., and Pelánek R. Distributed explicit fair cycle detection (set based approach). In: Ball T., and Rajamani S. (Eds). Model Checking Software. 10th International SPIN Workshop. Lecture Notes in Computer Science 2648 (2003) 49-73
9. Ciardo G., Gluckman J., and Nicol D. Distributed State Space Generation of Discrete-State +Stochastic Models. INFORMS Journal on Computing 10 (1998) 82-93
10. Courcoubetis C., Vardi M., Wolper P., and Yannakakis M. Memory-Efficient Algorithms for the Verification of Temporal Properties. Formal Methods in System Design 1 (1992) 275-288
11. Fisler K., Fraer R., Kamhi G., Vardi M.Y., and Yang Z. Is there a best symbolic cycle-detection algorithm?. Proc. Tools and Algorithms for the Construction and Analysis of Systems. LNCS 2031 (2001) 420-434
12. Garavel H., Mateescu R., and Smarandache I. Parallel State Space Construction for Model-Checking. In: Dwyer M.B. (Ed). Proceedings of the 8th International SPIN Workshop on Model +Checking of Software. (SPIN'2001). LNCS 2057 (2001) 216-234. URL citeseer.nj.nec.com/474094.html
13. Holzmann, G., The Design of a Distributed Model Checking Algorithm for SPIN, in: FMCAD, Invited Talk, 2006
14. Pelánek R. BEEM: BEnchmarks for Explicit Model checkers (2007). http://anna.fi.muni.cz/models/index.html
15. Peled, D., Ten years of partial order reduction, in: Proceedings of the 10th International Conference on Computer Aided +Verification (1998), pp. 17-28
16. Valmari, A., Stubborn set methods for process algebras, in: Proceedings of the DIMACS workshop on Partial order methods in +verification (1997), pp. 213-231
17. Weber, M., private communication (2007)