Accelerating bounded model checking of safety properties
From MaRDI portal
Publication:1878909
DOI10.1023/B:FORM.0000004785.67232.f8zbMath1073.68054MaRDI QIDQ1878909
Publication date: 9 September 2004
Published in: Formal Methods in System Design (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1023/b:form.0000004785.67232.f8
68Q25: Analysis of algorithms and problem complexity
68Q60: Specification and verification (program logics, model checking, etc.)
Related Items
Partial Order Reduction for Deep Bug Finding in Synchronous Hardware, Challenges in Constraint-Based Analysis of Hybrid Systems, Incremental preprocessing methods for use in BMC, \texttt{SymChaff}: Exploiting symmetry in a structure-aware satisfiability solver, Bounded Model Checking with Parametric Data Structures, Hints Revealed
Uses Software