Counterexample-guided abstraction refinement for the analysis of graph transformation systems
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Erschienen in
-
Technischer Bericht / Universität Stuttgart, Fakultät Informatik, Elektrotechnik und Informationstechnik (früher: Bericht / Universität Stuttgart, Fakultät Informatik) ; 2006,1
- Klassifikation
-
Informatik
- Schlagwort
-
Graphersetzungssystem
- Ereignis
-
Veröffentlichung
- (wo)
-
Stuttgart
- (wer)
-
Universitätsbibliothek der Universität Stuttgart
- (wann)
-
2006
- Urheber
- URN
-
urn:nbn:de:bsz:93-opus-25332
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
14.08.2025, 10:51 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
- König, Barbara
- Kozioura, Vitali
- Universitätsbibliothek der Universität Stuttgart
Entstanden
- 2006
Ähnliche Objekte (12)
Abstraction and abstraction refinement in the verification of graph transformation systems
Abstraction and abstraction refinement in the verification of graph transformation systems
Cluster abstraction of graph transformation systems
Three-valued abstraction and heuristic-guided refinement for verifying concurrent systems
Three-valued abstraction and heuristic-guided refinement for verifying concurrent systems
Abstraction refinement for pushdown systems
New techniques for abstraction refinement
Predicate-Abstraction und Abstraction-Refinement für drei-wertiges Modelchecking
Analysis and Abstraction of Graph Transformation Systems via Type Graphs
Abstraction refinement techniques for software model checking
Verification of infinite-state graph transformation systems via abstraction
Towards Constructive Description Logics for Abstraction and Refinement
Abstraction and abstraction refinement in the verification of graph transformation systems
Abstraction and abstraction refinement in the verification of graph transformation systems
Cluster abstraction of graph transformation systems
Three-valued abstraction and heuristic-guided refinement for verifying concurrent systems
Three-valued abstraction and heuristic-guided refinement for verifying concurrent systems
Abstraction refinement for pushdown systems
New techniques for abstraction refinement
Predicate-Abstraction und Abstraction-Refinement für drei-wertiges Modelchecking
Analysis and Abstraction of Graph Transformation Systems via Type Graphs
Abstraction refinement techniques for software model checking
Verification of infinite-state graph transformation systems via abstraction
Towards Constructive Description Logics for Abstraction and Refinement
Abstraction and abstraction refinement in the verification of graph transformation systems
Abstraction and abstraction refinement in the verification of graph transformation systems
Cluster abstraction of graph transformation systems
Three-valued abstraction and heuristic-guided refinement for verifying concurrent systems
Three-valued abstraction and heuristic-guided refinement for verifying concurrent systems
Abstraction refinement for pushdown systems
New techniques for abstraction refinement
Predicate-Abstraction und Abstraction-Refinement für drei-wertiges Modelchecking
Analysis and Abstraction of Graph Transformation Systems via Type Graphs
Abstraction refinement techniques for software model checking
Verification of infinite-state graph transformation systems via abstraction