Accelerating bounded model checking of safety properties
type: Item
instance of: scholarly article
title: Accelerating bounded model checking of safety properties
zbMATH Open document ID: 1073.68054
author: Ofer Strichman
published in: Formal Methods in System Design
publication date: 2004-09-09T00:00:00Z
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 68Q25
zbMATH DE Number: 2100110
zbMATH Keywords: BDD-based symbolic model checking
zbMATH Keywords: SAT procedures
describes a project that uses: Chaff
MaRDI profile type: Publication
full work available at URL: b:form.0000004785.67232.f8
OpenAlex ID: W2048413377
DOI: 10.1023/B:FORM.0000004785.67232.F8
description: scientific article; zbMATH DE number 2100110