Hochschulschrift
Abstraction and abstraction refinement in the verification of graph transformation systems
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Dimensions
-
30 cm
- Extent
-
164 S.
- Language
-
Englisch
- Notes
-
graph. Darst.
Duisburg, Essen, Univ., Diss., 2009
- Creator
- URN
-
urn:nbn:de:hbz:464-20100108-101927-1
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
25.03.2025, 1:42 PM CET
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Object type
- Hochschulschrift
Associated
Other Objects (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
New techniques for abstraction refinement
Abstraction refinement for pushdown systems
Modular compiler verification : a refinement algebraic approach advocating stepwise abstraction
Cluster abstraction of graph transformation systems
Graph-Based Procedural Abstraction
Abstraction refinement techniques for software model checking
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
New techniques for abstraction refinement
Abstraction refinement for pushdown systems
Modular compiler verification : a refinement algebraic approach advocating stepwise abstraction
Cluster abstraction of graph transformation systems
Graph-Based Procedural Abstraction
Abstraction refinement techniques for software model checking
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
New techniques for abstraction refinement
Abstraction refinement for pushdown systems
Modular compiler verification : a refinement algebraic approach advocating stepwise abstraction
Cluster abstraction of graph transformation systems
Graph-Based Procedural Abstraction