Predicate Abstraction of ANSI-C Programs Using SAT

Abstract Predicate abstraction is a major method for verification of software. However, the generation of the abstract Boolean program from the set of predicates and the original program suffers from an exponential number of theorem prover calls as well as from soundness issues. This paper presents...
Ausführliche Beschreibung

Gespeichert in:
Autor*in:

Clarke, Edmund [verfasserIn]

Kroening, Daniel

Sharygina, Natasha

Yorav, Karen

Format:

Artikel

Sprache:

Englisch

Erschienen:

2004

Anmerkung:

© Kluwer Academic Publishers 2004

Übergeordnetes Werk:

Enthalten in: Formal methods in system design - Kluwer Academic Publishers, 1992, 25(2004), 2-3 vom: Sept., Seite 105-127

Übergeordnetes Werk:

volume:25 ; year:2004 ; number:2-3 ; month:09 ; pages:105-127

Links:

Volltext

DOI / URN:

10.1023/B:FORM.0000040025.89719.f3

Katalog-ID:

OLC2038956170

Nicht das Richtige dabei?

Schreiben Sie uns!