Boosting Lazy Abstraction for SystemC with Partial Order Reduction

DOI10.1007/978-3-642-19835-9_31zbMath1316.68072OpenAlexW1913652065WikidataQ62041214 ScholiaQ62041214MaRDI QIDQ3000665

Alessandro Cimatti, Iman Narasamdya, Marco Roveri

Publication date: 19 May 2011

Published in: Tools and Algorithms for the Construction and Analysis of Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-19835-9_31

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Software, source code, etc. for problems pertaining to computer science (68-04)

Uses Software

• veriSoft
• BLAST
• NuSMV
• SystemC
• KRATOS
• MathSAT
• Pinapa

Cites Work

• Combining partial-order reductions with on-the-fly model-checking.
• NuSMV: A new symbolic model checker
• Partial-order methods for the verification of concurrent systems. An approach to the state-explosion problem
• Counterexample-guided abstraction refinement for symbolic model checking
• Peephole Partial Order Reduction
• Symbolic Model Checking of Concurrent Programs Using Partial Orders and On-the-Fly Transactions
• Partial-order reduction in symbolic state-space exploration

This page was built for publication: Boosting Lazy Abstraction for SystemC with Partial Order Reduction