- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
Stuttgart, Universität Stuttgart, Diplomarbeit
- Klassifikation
-
Informatik
- Schlagwort
-
Model checking ; Kellerautomat ; Heuristik
- Ereignis
-
Veröffentlichung
- (wo)
-
Stuttgart
- (wer)
-
Universitätsbibliothek der Universität Stuttgart
- (wann)
-
2005
- Urheber
-
Kiefer, Stefan
- URN
-
urn:nbn:de:bsz:93-opus-23914
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
14.08.2025, 10:52 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
- Kiefer, Stefan
- Universitätsbibliothek der Universität Stuttgart
Entstanden
- 2005
Ähnliche Objekte (12)
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
Abstraction refinement techniques for software model checking
Predicate-Abstraction und Abstraction-Refinement für drei-wertiges Modelchecking
Analysis of dynamic evolution systems by spotlight abstraction refinement
Abstraction refinement with craig interpolation and symbolic pushdown systems
Analysis of dynamic evolution systems by spotlight abstraction refinement
Towards Constructive Description Logics for Abstraction and Refinement
Three-valued abstraction and heuristic-guided refinement for verifying concurrent systems
Three-valued abstraction and heuristic-guided refinement for verifying concurrent systems
Counterexample-guided abstraction refinement for the analysis of graph transformation 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
Abstraction refinement techniques for software model checking
Predicate-Abstraction und Abstraction-Refinement für drei-wertiges Modelchecking
Analysis of dynamic evolution systems by spotlight abstraction refinement
Abstraction refinement with craig interpolation and symbolic pushdown systems
Analysis of dynamic evolution systems by spotlight abstraction refinement
Towards Constructive Description Logics for Abstraction and Refinement
Three-valued abstraction and heuristic-guided refinement for verifying concurrent systems
Three-valued abstraction and heuristic-guided refinement for verifying concurrent systems
Counterexample-guided abstraction refinement for the analysis of graph transformation 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
Abstraction refinement techniques for software model checking
Predicate-Abstraction und Abstraction-Refinement für drei-wertiges Modelchecking
Analysis of dynamic evolution systems by spotlight abstraction refinement
Abstraction refinement with craig interpolation and symbolic pushdown systems
Analysis of dynamic evolution systems by spotlight abstraction refinement
Towards Constructive Description Logics for Abstraction and Refinement
Three-valued abstraction and heuristic-guided refinement for verifying concurrent systems
Three-valued abstraction and heuristic-guided refinement for verifying concurrent systems