Improved Multi-Core Nested Depth-First Search

DOI10.1007/978-3-642-33386-6_22zbMath1374.68281OpenAlexW1508631477WikidataQ62047450 ScholiaQ62047450MaRDI QIDQ4649302

Sami Evangelista, Jaco van de Pol, Laure Petrucci, Alfons W. Laarman

Publication date: 21 November 2012

Published in: Automated Technology for Verification and Analysis (Search for Journal in Brave)

Full work available at URL: https://research.utwente.nl/en/publications/improved-multicore-nested-depthfirst-search(ae49d82f-6ea8-45a8-b7ab-5da85559f685).html

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (3)

Automated Verification of Parallel Nested DFS ⋮ Distributed parametric model checking timed automata under non-zenoness assumption ⋮ Finding strongly connected components of simple digraphs based on granulation strategy

Uses Software

• DiVinE
• LTSmin

This page was built for publication: Improved Multi-Core Nested Depth-First Search