A Stack-Slicing Algorithm for Multi-Core Model Checking

DOI10.1016/j.entcs.2007.10.017zbMath1277.68294OpenAlexW2123835981MaRDI QIDQ2866322

Gerard J. Holzmann

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.017

zbMATH Keywords

distributed systemssoftware verificationlogic model checkingcluster computersmulti-threaded programmingmulti-core systems

Mathematics Subject Classification ID

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

Related Items (1)

Model Checking of Biological Systems

Uses Software

• SPIN
• Murphi

Cites Work

• Unnamed Item
• Unnamed Item
• Depth-first search is inherently sequential
• On-the-fly parallel model checking algorithm that is optimal for verification of weak LTL properties
• Model Checking Software

This page was built for publication: A Stack-Slicing Algorithm for Multi-Core Model Checking