Improved multi-core nested depth-first search

DOI10.1007/978-3-642-33386-6_22MaRDI QIDQ4649302zbMATH OpenOpenAlexWikidataFDO

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

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)

Recommendations

• Multi-core nested depth-first search
• Parallel nested depth-first searches for LTL model checking
• scientific article; zbMATH DE number 1069483
• Multi-core Reachability for Timed Automata
• Distributed breadth-first search LTL model checking

Cited in

(7)

• Finding strongly connected components of simple digraphs based on granulation strategy
• A stack-slicing algorithm for multi-core model checking
• Multi-core nested depth-first search
• Parallel nested depth-first searches for LTL model checking
• scientific article; zbMATH DE number 1069483 (Why is no real title available?)
• Automated verification of parallel nested DFS
• Distributed parametric model checking timed automata under non-zenoness assumption

Describes a project that uses

Uses Software

• LTSmin
• DiVinE

This page was built for publication: Improved multi-core nested depth-first search

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4649302)