Measuring and Evaluating Parallel State-Space Exploration Algorithms

DOI10.1016/J.ENTCS.2007.10.020zbMath1277.68292OpenAlexW2024971820MaRDI QIDQ2866326

Jonathan Ezekiel, Gerald Lüttgen

Publication date: 13 December 2013

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.entcs.2007.10.020

zbMATH Keywords

model checkingshared-memory architectureparallel overheadparallel state-space generation

Mathematics Subject Classification ID

Analysis of algorithms (68W40) Parallel algorithms in computer science (68W10) Specification and verification (program logics, model checking, etc.) (68Q60)

Uses Software

• BDDNOW
• Gprof

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• CTL model checking on a shared-memory architecture
• A probabilistic dynamic technique for the distributed generation of very large state spaces
• Correct Hardware Design and Verification Methods
• Computer Aided Verification
• Parallelizing the \(\text{Mur}\varphi\) verifier

This page was built for publication: Measuring and Evaluating Parallel State-Space Exploration Algorithms