Predicate abstraction of ANSI-C programs using SAT
type: Item
instance of: scholarly article
title: Predicate abstraction of ANSI-C programs using SAT
zbMATH Open document ID: 1090.68022
author: Daniel Kroening
author: Natasha Sharygina
author: Karen Yorav
author: Edmund Clarke
published in: Formal Methods in System Design
publication date: 2004-11-22T00:00:00Z
Mathematics Subject Classification ID: 68N30
Mathematics Subject Classification ID: 68Q60
zbMATH DE Number: 2117713
zbMATH Keywords: Predicate abstraction
zbMATH Keywords: ANSI-C
zbMATH Keywords: SAT
describes a project that uses: Chaff
describes a project that uses: Java PathFinder
MaRDI profile type: Publication
DOI: 10.1023/B:FORM.0000040025.89719.F3
description: scientific article; zbMATH DE number 2117713