An abstraction refinement approach combining precise and approximated techniques

Abstract Predicate abstraction is a powerful technique to reduce the state space of a program to a finite and affordable number of states. It produces a conservative over-approximation where concrete states are grouped together according to a given set of predicates. A precise abstraction contains t...
Ausführliche Beschreibung

Gespeichert in:
Autor*in:

Sharygina, Natasha [verfasserIn]

Tonetta, Stefano [verfasserIn]

Tsitovich, Aliaksei [verfasserIn]

Format:

E-Artikel

Sprache:

Englisch

Erschienen:

2011

Schlagwörter:

Predicate abstraction

Precise abstraction

Approximated abstraction

CEGAR

Übergeordnetes Werk:

Enthalten in: International Journal on Software Tools for Technology Transfer - Springer-Verlag, 1997, 14(2011), 1 vom: 17. Feb., Seite 1-14

Übergeordnetes Werk:

volume:14 ; year:2011 ; number:1 ; day:17 ; month:02 ; pages:1-14

Links:

Volltext

DOI / URN:

10.1007/s10009-011-0185-y

Katalog-ID:

SPR008004870

Nicht das Richtige dabei?

Schreiben Sie uns!