Monografie
Abstraction and abstraction refinement in the verification of graph transformation systems
- Sprache
-
Englisch
- Umfang
-
164 S.
- Anmerkungen
-
Duisburg, Essen, Univ., Diss., 2009
- Identifier
-
1000337111
- Thema
-
Hochschulschrift
- Beteiligte Personen und Organisationen
- Erschienen
-
2010, [2010]
- URN
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
26.01.2023, 13:57 MEZ
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.
Objekttyp
- Monografie
Beteiligte
Entstanden
- 2010, [2010]
Ähnliche Objekte (12)
Abstraction and abstraction refinement in the verification of graph transformation systems
Graph grammar verification through abstraction
Verification of infinite-state graph transformation systems via abstraction
Effective Approaches to Abstraction Refinement for Automatic Software Verification
Counterexample-guided abstraction refinement for the analysis of graph transformation systems
Predicate-Abstraction und Abstraction-Refinement für drei-wertiges Modelchecking
Abstraction refinement for pushdown systems
New techniques for abstraction refinement
Cluster abstraction of graph transformation systems
Graph-Based Procedural Abstraction
Abstraction refinement techniques for software model checking
Abstraction-based verification of parameterized networks
Abstraction and abstraction refinement in the verification of graph transformation systems
Graph grammar verification through abstraction
Verification of infinite-state graph transformation systems via abstraction
Effective Approaches to Abstraction Refinement for Automatic Software Verification
Counterexample-guided abstraction refinement for the analysis of graph transformation systems
Predicate-Abstraction und Abstraction-Refinement für drei-wertiges Modelchecking
Abstraction refinement for pushdown systems
New techniques for abstraction refinement
Cluster abstraction of graph transformation systems
Graph-Based Procedural Abstraction
Abstraction refinement techniques for software model checking
Abstraction-based verification of parameterized networks
Abstraction and abstraction refinement in the verification of graph transformation systems
Graph grammar verification through abstraction
Verification of infinite-state graph transformation systems via abstraction
Effective Approaches to Abstraction Refinement for Automatic Software Verification
Counterexample-guided abstraction refinement for the analysis of graph transformation systems
Predicate-Abstraction und Abstraction-Refinement für drei-wertiges Modelchecking
Abstraction refinement for pushdown systems
New techniques for abstraction refinement
Cluster abstraction of graph transformation systems
Graph-Based Procedural Abstraction
Abstraction refinement techniques for software model checking