Boosting Lazy Abstraction for SystemC with Partial Order Reduction
From MaRDI portal
Publication:3000665
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
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)