- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Maße
-
30 cm
- Umfang
-
XVI, 209 S.
- Sprache
-
Englisch
- Anmerkungen
-
graph. Darst.
Freiburg (Breisgau), Univ., Diss., 2003 (Nicht für den Austausch)
- Klassifikation
-
Informatik
Mathematik
- Schlagwort
-
Verifikation
Monadische Logik
Stufe 2
Spezifikationssprache
Model Checking
Zustandsraumexplosion
System Verifikation ; Logik ; monadische Logiken ; endliche Systeme
- Urheber
- 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:02 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
Ähnliche Objekte (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