- Sprache
-
Englisch
- Anmerkungen
-
Freiburg (Breisgau), Univ., Diss., 2003
- Identifier
-
970791259
Thema
Verifikation ; Monadische Logik ; Stufe 2 ; Spezifikationssprache ; Model Checking ; Zustandsraumexplosion ; System Verifikation ; Logik ; monadische Logiken ; endliche Systeme; Hochschulschrift
Beteiligte Personen und Organisationen
- URN
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
26.01.2023, 13:58 MEZ
Objekttyp
- Monografie
Beteiligte
Ähnliche Objekte (12)
Explicit state space verification
Verification of reactive systems : formal methods and algorithms
Document verification with temporal description logics
Model checking pushdown systems
Verifying concurrent systems with symbolic execution : temporal reasoning is symbolic execution with a little induction
Verifying real-time systems
Symbolische LTL-Verifikation von Petrinetzen
Logical analysis of hybrid systems : proving theorems for complex dynamics
On the analysis of stochastic timed systems
On the analysis of stochastic timed systems
Unfoldings : a partial order approach to model checking
Formale Fehlerbaumanalyse
Explicit state space verification
Verification of reactive systems : formal methods and algorithms
Document verification with temporal description logics
Model checking pushdown systems
Verifying concurrent systems with symbolic execution : temporal reasoning is symbolic execution with a little induction
Verifying real-time systems
Symbolische LTL-Verifikation von Petrinetzen
Logical analysis of hybrid systems : proving theorems for complex dynamics
On the analysis of stochastic timed systems
On the analysis of stochastic timed systems
Unfoldings : a partial order approach to model checking
Formale Fehlerbaumanalyse
Explicit state space verification
Verification of reactive systems : formal methods and algorithms
Document verification with temporal description logics
Model checking pushdown systems
Verifying concurrent systems with symbolic execution : temporal reasoning is symbolic execution with a little induction
Verifying real-time systems
Symbolische LTL-Verifikation von Petrinetzen
Logical analysis of hybrid systems : proving theorems for complex dynamics
On the analysis of stochastic timed systems
On the analysis of stochastic timed systems
Unfoldings : a partial order approach to model checking