Understanding IC3
From MaRDI portal
Publication:2843317
DOI10.1007/978-3-642-31612-8_1zbMath1273.68222OpenAlexW2911375523MaRDI QIDQ2843317
Publication date: 12 August 2013
Published in: Theory and Applications of Satisfiability Testing – SAT 2012 (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-31612-8_1
Related Items (9)
A Polyhedral Abstraction for Petri Nets and its Application to SMT-Based Model Checking ⋮ SAT-Based Model Checking ⋮ Combining Model Checking and Deduction ⋮ Incremental design-space model checking via reusable reachable state approximations ⋮ When Is a Formula a Loop Invariant? ⋮ Learning inductive invariants by sampling from frequency distributions ⋮ SAT solver management strategies in IC3: an experimental approach ⋮ Counterexample-preserving reduction for symbolic model checking ⋮ On the combination of polyhedral abstraction and SMT-based model checking for Petri nets
This page was built for publication: Understanding IC3
