Predicate-Abstraction und Abstraction-Refinement für drei-wertiges Modelchecking
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Deutsch
- Anmerkungen
-
Stuttgart, Universität Stuttgart, Diplomarbeit
- Klassifikation
-
Informatik
- Schlagwort
-
Model Checking
Fixpunkt
Kripke-Struktur
Operateur
Zustandsraum
Entwurfssprache
Transitionssystem
Model Checking
- Ereignis
-
Veröffentlichung
- (wo)
-
Stuttgart
- (wer)
-
Universitätsbibliothek der Universität Stuttgart
- (wann)
-
2009
- Urheber
-
Thoma, Daniel
- URN
-
urn:nbn:de:bsz:93-opus-38954
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
14.08.2025, 10:59 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Thoma, Daniel
- Universitätsbibliothek der Universität Stuttgart
Entstanden
- 2009
Ähnliche Objekte (12)
Automated Predicate Abstraction for Real-Time Models
Abstraction refinement for pushdown systems
New techniques for abstraction refinement
Abstraction and abstraction refinement in the verification of graph transformation systems
Abstraction and abstraction refinement in the verification of graph transformation systems
Distinguishing extended finite state machine configurations using predicate abstraction
Abstraction refinement techniques for software model checking
PARIS: Flexible Plan Adaptation by Abstraction and Refinement
Towards Constructive Description Logics for Abstraction and Refinement
Abstraction.
Path predicate abstraction : for sound system-level modeling of digital circuits
Composition Under Distributive Natural Transformations: Or, When Predicate Abstraction is Impossible
Automated Predicate Abstraction for Real-Time Models
Abstraction refinement for pushdown systems
New techniques for abstraction refinement
Abstraction and abstraction refinement in the verification of graph transformation systems
Abstraction and abstraction refinement in the verification of graph transformation systems
Distinguishing extended finite state machine configurations using predicate abstraction
Abstraction refinement techniques for software model checking
PARIS: Flexible Plan Adaptation by Abstraction and Refinement
Towards Constructive Description Logics for Abstraction and Refinement
Abstraction.
Path predicate abstraction : for sound system-level modeling of digital circuits
Composition Under Distributive Natural Transformations: Or, When Predicate Abstraction is Impossible
Automated Predicate Abstraction for Real-Time Models
Abstraction refinement for pushdown systems
New techniques for abstraction refinement
Abstraction and abstraction refinement in the verification of graph transformation systems
Abstraction and abstraction refinement in the verification of graph transformation systems
Distinguishing extended finite state machine configurations using predicate abstraction
Abstraction refinement techniques for software model checking
PARIS: Flexible Plan Adaptation by Abstraction and Refinement
Towards Constructive Description Logics for Abstraction and Refinement
Abstraction.
Path predicate abstraction : for sound system-level modeling of digital circuits