Hochschulschrift
Three-valued abstraction and heuristic-guided refinement for verifying concurrent systems
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Maße
-
30 cm
- Umfang
-
XII, 175 S.
- Sprache
-
Englisch
- Anmerkungen
-
graph. Darst.
Paderborn, Univ., Diss., 2013
- Urheber
-
Timm, Nils
- Inhaltsverzeichnis
- Rechteinformation
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Letzte Aktualisierung
-
11.06.2025, 14:20 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.
Objekttyp
- Hochschulschrift
Beteiligte
- Timm, Nils
Ä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
Analysis of dynamic evolution systems by spotlight abstraction refinement
An abstraction-refinement methodology for reasoning about network games
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
Analysis of dynamic evolution systems by spotlight abstraction refinement
An abstraction-refinement methodology for reasoning about network games
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
Analysis of dynamic evolution systems by spotlight abstraction refinement