- Sprache
-
Englisch
- Anmerkungen
-
Kiel, Univ., Diss., 2003
- Identifier
-
971626995
- Thema
-
Parametrisiertes System ; Transitionssystem ; Verifikation ; Model Checking ; Lebendigkeit ; Fairness ; Hochschulschrift
- Beteiligte Personen und Organisationen
-
Baukus, Kai
- 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
- Baukus, Kai
Ähnliche Objekte (12)
Graph grammar verification through abstraction
Mechanical Verification of Parameterized Real-Time Systems
Parameterized verification and repair of concurrent systems
Exploring the limits of parameterized system verification
Abstraction and abstraction refinement in the verification of graph transformation systems
Abstraction and abstraction refinement in the verification of graph transformation systems
Cartesian abstraction and verification of multithreaded programs
Formal abstraction and verification of analog circuits
Outside the Box : Abstraction-Based Monitoring of Neural Networks
Graph-Based Procedural Abstraction
Effective Approaches to Abstraction Refinement for Automatic Software Verification
Verification of infinite-state graph transformation systems via abstraction
Graph grammar verification through abstraction
Mechanical Verification of Parameterized Real-Time Systems
Parameterized verification and repair of concurrent systems
Exploring the limits of parameterized system verification
Abstraction and abstraction refinement in the verification of graph transformation systems
Abstraction and abstraction refinement in the verification of graph transformation systems
Cartesian abstraction and verification of multithreaded programs
Formal abstraction and verification of analog circuits
Outside the Box : Abstraction-Based Monitoring of Neural Networks
Graph-Based Procedural Abstraction
Effective Approaches to Abstraction Refinement for Automatic Software Verification
Verification of infinite-state graph transformation systems via abstraction
Graph grammar verification through abstraction
Mechanical Verification of Parameterized Real-Time Systems
Parameterized verification and repair of concurrent systems
Exploring the limits of parameterized system verification
Abstraction and abstraction refinement in the verification of graph transformation systems
Abstraction and abstraction refinement in the verification of graph transformation systems
Cartesian abstraction and verification of multithreaded programs
Formal abstraction and verification of analog circuits
Outside the Box : Abstraction-Based Monitoring of Neural Networks
Graph-Based Procedural Abstraction
Effective Approaches to Abstraction Refinement for Automatic Software Verification