DiVinE: Parallel distributed model checker

Proceedings of the 9th Int. Workshop on Parallel and Distributed Methods in Verification, PDMC 2010 - Joint with the 2nd Int. Workshop on High Performance Computational Systems Biology, HiBi 2010

Volumn , Issue , 2010, Pages 4-7

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

^a MASARYK UNIVERSITY   (Czech Republic)

Author keywords

[No Author keywords available]

Indexed keywords

APPLICATION DOMAINS; COMPLEX SYSTEMS; COMPONENT ARCHITECTURES; COMPUTATION RESOURCES; COMPUTING POWER; DISTRIBUTED MEMORY; DISTRIBUTED MODELS; DISTRIBUTED SYSTEMS; EXPLICIT-STATE MODEL CHECKING; LTL MODEL-CHECKING; MODEL CHECKING TOOLS; MULTIPLE NETWORKS; REAL-LIFE SYSTEMS; SOURCE CODES; STANDARD METHOD; STATE-SPACE EXPLOSION; VERIFICATION TASK;

COMPUTATIONAL COMPLEXITY; DISTRIBUTED COMPUTER SYSTEMS; LARGE SCALE SYSTEMS; MEMORY ARCHITECTURE;

MODEL CHECKING;

EID: 79951781092     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/PDMC-HiBi.2010.9     Document Type: Conference Paper

References (10)

1. J. Barnat, L. Brim, and P. Ročkai. Scalable Multi-core LTL Model-Checking. In Model Checking Software, volume 4595 of LNCS, pages 187-203. Springer, 2007.
2. J. Barnat, L. Brim, and P. Ročkai. DiVinE Multi-Core - A Parallel LTL Model-Checker. In Automated Technology for Verification and Analysis, volume 5311 of LNCS, pages 234-239. Springer, 2008.
3. J. Barnat, L. Brim, and P. Ročkai. A Time-Optimal On-the-Fly Parallel Algorithm for Model Checking of Weak LTL Properties. In Formal Methods and Software Engineering (ICFEM 2009), volume 5885 of LNCS, pages 407-425. Springer, 2009.
4. J. Barnat, L. Brim, and P. Ročkai. Parallel Partial Order Reduction with Topological Sort Proviso. In To appear in proceeding of SEFM 2010. IEEE Computer Society Press, 2010.
5. 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, volume 4144/2006 of LNCS, pages 278-281. Springer, 2006.
6. I. Černá and R. Pelánek. Distributed explicit fair cycle detection (set based approach). In T. Ball and S.K. Rajamani, editors, Model Checking Software. 10th International SPIN Workshop, volume 2648 of Lecture Notes in Computer Science, pages 49-73. Springer Verlag, 2003.
7. D. L. Dill. The murphi verification system. In Rajeev Alur and Thomas A. Henzinger, editors, Proceedings of the Eighth International Conference on Computer Aided Verification CAV, volume 1102 of Lecture Notes in Computer Science, pages 390-393, New Brunswick, NJ, USA, July/August 1996. Springer Verlag.
8. Gerard J. Holzmann and Dragan Bosnacki. The Design of a Multicore Extension of the SPIN Model Checker. IEEE Transactions on Software Engineering, 33(10):659-674, 2007.
9. Alfons Laarman, Jaco van de Pol, and Michael Weber. Boosting Multi-Core Reachability Performance with Shared Hash Tables. In Formal Methods in Computer Aided Design (FMCAD 2010). To Appear, 2010.
10. D. Peled. Ten Years of Partial Order Reduction. In Proceedings of the 10th International Conference on Computer Aided Verification (CAV'98), volume 1427 of LNCS, pages 17-28. Springer-Verlag, 1998.