Monografie
Three-valued abstraction and heuristic-guided refinement for verifying concurrent systems
- Sprache
-
Englisch
- Anmerkungen
-
Paderborn, Universität Paderborn, Diss., 2013
- Identifier
-
1036932877
- Thema
-
Hochschulschrift
- Beteiligte Personen und Organisationen
- URN
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
26.01.2023, 13:53 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
- Timm, Nils
- Wehrheim, Heike
- Kleine Büning, Hans
Ähnliche Objekte (12)
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
Three-valued abstraction for stochastic systems
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
Towards Constructive Description Logics for Abstraction and Refinement
PARIS: Flexible Plan Adaptation by Abstraction and Refinement
Effective Approaches to Abstraction Refinement for Automatic Software Verification
Analysis of dynamic evolution systems by spotlight abstraction refinement
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
Three-valued abstraction for stochastic systems
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
Towards Constructive Description Logics for Abstraction and Refinement
PARIS: Flexible Plan Adaptation by Abstraction and Refinement
Effective Approaches to Abstraction Refinement for Automatic Software Verification
Analysis of dynamic evolution systems by spotlight abstraction refinement
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
Three-valued abstraction for stochastic systems
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
Towards Constructive Description Logics for Abstraction and Refinement
PARIS: Flexible Plan Adaptation by Abstraction and Refinement
Effective Approaches to Abstraction Refinement for Automatic Software Verification