Predicate Abstraction of ANSI-C Programs Using SAT
Metadata only
Datum
2004Typ
- Journal Article
Publikationsstatus
publishedZeitschrift / Serie
Formal Methods in System DesignBand
Seiten / Artikelnummer
Verlag
SpringerThema
predicate abstraction; ANSI-C; SATAnmerkungen
Received 25 August 2003, Revised 2 February 2004, Accepted 24 May 2004.