On-the-fly parallel model checking algorithm that is optimal for verification of weak LTL properties

DOI10.1016/j.scico.2011.03.001zbMath1264.68052OpenAlexW2145289189MaRDI QIDQ1951607

Jiří Barnat, Petr Ročkai, Luboš Brim

Publication date: 6 June 2013

Published in: Science of Computer Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.scico.2011.03.001

zbMATH Keywords

partial order reductionparallel model checkingon-the-flyexplicit model checking

Mathematics Subject Classification ID

Parallel algorithms in computer science (68W10) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items

A Stack-Slicing Algorithm for Multi-Core Model Checking

Uses Software

• SPIN
• DiVinE
• BEEM

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A partial approach to model checking
• More efficient on-the-fly LTL verification with Tarjan's algorithm
• Topological sorting of large networks
• Mathematical Foundations of Computer Science 2003
• Automata-Theoretic Model Checking Revisited
• Formal Methods in Computer-Aided Design
• Depth-First Search and Linear Graph Algorithms
• Tools and Algorithms for the Construction and Analysis of Systems
• Tools and Algorithms for the Construction and Analysis of Systems
• Model Checking Software