Accelerating bounded model checking of safety properties

DOI10.1023/B:FORM.0000004785.67232.f8zbMath1073.68054OpenAlexW2048413377MaRDI QIDQ1878909

Ofer Strichman

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

zbMATH Keywords

BDD-based symbolic model checkingSAT procedures

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items

Partial Order Reduction for Deep Bug Finding in Synchronous Hardware ⋮ Hints Revealed ⋮ Incremental preprocessing methods for use in BMC ⋮ Challenges in Constraint-Based Analysis of Hybrid Systems ⋮ \texttt{SymChaff}: Exploiting symmetry in a structure-aware satisfiability solver ⋮ Bounded Model Checking with Parametric Data Structures

Uses Software

• Chaff

This page was built for publication: Accelerating bounded model checking of safety properties