- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
Kiel, Univ., Diss., 2003
- Classification
-
Informatik
- Keyword
-
Parametrisiertes System
Transitionssystem
Verifikation
Model Checking
Lebendigkeit
Fairness
- Creator
-
Baukus, Kai
- URN
-
urn:nbn:de:gbv:8-diss-7492
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
25.03.2025, 1:44 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
- Baukus, Kai
Other Objects (12)
Abstraction-based verification of parameterized networks
Graph grammar verification through abstraction
Exploring the limits of parameterized system verification
Parameterized verification and repair of concurrent systems
Mechanical Verification of Parameterized Real-Time 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
Abstraction-based verification of parameterized networks
Graph grammar verification through abstraction
Exploring the limits of parameterized system verification
Parameterized verification and repair of concurrent systems
Mechanical Verification of Parameterized Real-Time 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
Abstraction-based verification of parameterized networks
Graph grammar verification through abstraction
Exploring the limits of parameterized system verification
Parameterized verification and repair of concurrent systems
Mechanical Verification of Parameterized Real-Time 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