Multi-core nested depth-first search

DOI10.1007/978-3-642-24372-1_23MaRDI QIDQ3172923zbMATH OpenOpenAlexDBLPWikidataFDO

Authors

Publication date 7 October 2011

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

Full work available at URL https://doi.org/10.1007/978-3-642-24372-1_23

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Specification and verification (program logics, model checking, etc.) (68Q60) Parallel algorithms in computer science (68W10)

Recommendations

• Improved multi-core nested depth-first search
• Parallel nested depth-first searches for LTL model checking
• scientific article; zbMATH DE number 1069483
• Distributed breadth-first search LTL model checking
• More efficient on-the-fly LTL verification with Tarjan's algorithm

Cited in

(7)

• BFS-based model checking of linear-time properties with an application on GPUs
• Automated verification of parallel nested DFS
• Automated verification of the parallel Bellman-Ford algorithm
• scientific article; zbMATH DE number 1069483 (Why is no real title available?)
• Parallel nested depth-first searches for LTL model checking
• Improved multi-core nested depth-first search
• Finding strongly connected components of simple digraphs based on granulation strategy

Describes a project that uses

Uses Software

• LTSmin
• DiVinE

This page was built for publication: 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 Q3172923)