Monografie
Symbolische BDD-basierte Modellprüfung asynchroner nebenläufiger Systeme
- Sprache
-
Deutsch
- Identifier
-
1112466207
Thema
Model Checking; Algorithmus; Temporale Logik; Kripke-Struktur; Relation; Programmverifikation; Modellprüfung; Geordnetes binäres Entscheidungsdiagramm; Nebenläufigkeit; Algorithmen; 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
Ähnliche Objekte (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