EEMCS EPrints Service
Evangelista, S. and Laarman, A.W. and Petrucci, L. and van de Pol, J.C. (2012) Improved Multi-Core Nested Depth-First Search. In: Proceedings of the 10th International Symposium on Automated Technology for Verification and Analysis, ATVA 2012, 3-6 Oct 2012, Thiruvananthapuram (Trivandrum), Kerala. pp. 269-283. Lecture Notes in Computer Science 7561. Springer Verlag. ISBN 978-3-642-33386-6
Full text available as:
Official URL: http://dx.doi.org/10.1007/978-3-642-33386-6_22
This paper presents CNDFS, a tight integration of two earlier multi-core nested depth-first search (NDFS) algorithms for LTL model checking. CNDFS combines the different strengths and avoids some weaknesses of its predecessors. We compare CNDFS to an earlier ad-hoc combination of those two algorithms and show several benefits: It has shorter and simpler code and a simpler correctness proof. It exhibits more stable performance and scalability, while at the same time reducing memory requirements.
Export this item as:
To correct this item please ask your editor
Repository Staff Only: edit this item