Monografie
Symbolische BDD-basierte Modellprüfung asynchroner nebenläufiger Systeme
- Language
-
Deutsch
- Identifier
-
1112466207
Subject
Model Checking; Algorithmus; Temporale Logik; Kripke-Struktur; Relation; Programmverifikation; Modellprüfung; Geordnetes binäres Entscheidungsdiagramm; Nebenläufigkeit; Algorithmen; Hochschulschrift
Contributor
- URN
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
26.01.2023, 1:58 PM CET
Object type
- Monografie
Other Objects (12)
Symbolische BDD-basierte Modellprüfung asynchroner nebenläufiger Systeme
Symbolische LTL-Verifikation von Petrinetzen
Model checking pushdown systems
Symbolic semantics and verification of stochastic process algebras = Symbolische Semantik und Verifikation stochastischer Prozessalgebren
Verifying concurrent systems with symbolic execution : temporal reasoning is symbolic execution with a little induction
Synthesizing realistic verification tasks
Vergleich von Algorithmen für den Leerheitstest von Büchiautomaten
Compositional Concurrent Program Verification with RGITL
Systems and software verification : model checking techniques and tools
On the complexity of modal logic variants and their fragments
Verifikation unvollständiger Schaltkreise
Resolution-based methods for linear temporal reasoning
Symbolische BDD-basierte Modellprüfung asynchroner nebenläufiger Systeme
Symbolische LTL-Verifikation von Petrinetzen
Model checking pushdown systems
Symbolic semantics and verification of stochastic process algebras = Symbolische Semantik und Verifikation stochastischer Prozessalgebren
Verifying concurrent systems with symbolic execution : temporal reasoning is symbolic execution with a little induction
Synthesizing realistic verification tasks
Vergleich von Algorithmen für den Leerheitstest von Büchiautomaten
Compositional Concurrent Program Verification with RGITL
Systems and software verification : model checking techniques and tools
On the complexity of modal logic variants and their fragments
Verifikation unvollständiger Schaltkreise
Resolution-based methods for linear temporal reasoning
Symbolische BDD-basierte Modellprüfung asynchroner nebenläufiger Systeme
Symbolische LTL-Verifikation von Petrinetzen
Model checking pushdown systems
Symbolic semantics and verification of stochastic process algebras = Symbolische Semantik und Verifikation stochastischer Prozessalgebren
Verifying concurrent systems with symbolic execution : temporal reasoning is symbolic execution with a little induction
Synthesizing realistic verification tasks
Vergleich von Algorithmen für den Leerheitstest von Büchiautomaten
Compositional Concurrent Program Verification with RGITL
Systems and software verification : model checking techniques and tools
On the complexity of modal logic variants and their fragments
Verifikation unvollständiger Schaltkreise