Boosting Lazy Abstraction for SystemC with Partial Order Reduction

DOI10.1007/978-3-642-19835-9_31MaRDI QIDQ3000665zbMATH OpenOpenAlexDBLPWikidataFDO

Authors 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)

Recommendations

• Incremental computation of succinct abstractions for hybrid systems
• Tools and Algorithms for the Construction and Analysis of Systems
• Abstraction refinement with Craig interpolation and symbolic pushdown systems
• scientific article; zbMATH DE number 1693041
• Partial order reduction for rewriting semantics of programming languages
• Automated compositional abstraction refinement for concurrent C programs: a two-level approach

Cites work

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

Describes a project that uses

Uses Software

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

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3000665)