- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Dimensions
-
30 cm
- Extent
-
XVI, 209 S.
- Language
-
Englisch
- Notes
-
graph. Darst.
Freiburg (Breisgau), Univ., Diss., 2003 (Nicht für den Austausch)
- Classification
-
Informatik
Mathematik
- Keyword
-
Verifikation
Monadische Logik
Stufe 2
Spezifikationssprache
Model Checking
Zustandsraumexplosion
System Verifikation ; Logik ; monadische Logiken ; endliche Systeme
- Creator
- Table of contents
- Rights
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Last update
-
11.06.2025, 2:02 PM CEST
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)
System verification tools based on monadic logics
Document verification with temporal description logics
Logics for rule-based configuration systems
CIRC : A Behavioral Verification Tool Based on Circular Coinduction
Induction-based Verification of Timed Systems
Systems and software verification : model checking techniques and tools
Theorem prover based verification of TLA systems
Causality-based verification
Modular Verification of a Modular Specification: Behavioral Types as Program Logics
FM tools 2000: the 4th Workshop on Tools for System Design and Verification
Optimisation of tableau-based reasoning systems for expressive description logics
J.UCS Special Issue on Tools for System Design and Verification
System verification tools based on monadic logics
Document verification with temporal description logics
Logics for rule-based configuration systems
CIRC : A Behavioral Verification Tool Based on Circular Coinduction
Induction-based Verification of Timed Systems
Systems and software verification : model checking techniques and tools
Theorem prover based verification of TLA systems
Causality-based verification
Modular Verification of a Modular Specification: Behavioral Types as Program Logics
FM tools 2000: the 4th Workshop on Tools for System Design and Verification
Optimisation of tableau-based reasoning systems for expressive description logics
J.UCS Special Issue on Tools for System Design and Verification
System verification tools based on monadic logics
Document verification with temporal description logics
Logics for rule-based configuration systems
CIRC : A Behavioral Verification Tool Based on Circular Coinduction
Induction-based Verification of Timed Systems
Systems and software verification : model checking techniques and tools
Theorem prover based verification of TLA systems
Causality-based verification
Modular Verification of a Modular Specification: Behavioral Types as Program Logics
FM tools 2000: the 4th Workshop on Tools for System Design and Verification
Optimisation of tableau-based reasoning systems for expressive description logics