Monografie
Vergleich von Algorithmen für den Leerheitstest von Büchiautomaten
- Sprache
-
Deutsch
- Identifier
-
1057871532
Thema
Algorithmus; Tiefensuche; Automat; Model Checking; Nachweis; Kripke-Struktur; Model checking
Beteiligte Personen und Organisationen
Gaiser, Andreas
- URN
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
26.01.2023, 13:57 MEZ
Objekttyp
- Monografie
Beteiligte
- Gaiser, Andreas
Ähnliche Objekte (12)
Erreichbarkeitsanalyse funktionaler Programme mit Grundtermersetzungssystemen
On the analysis of stochastic timed systems
Formale Analyse des Zeitverhaltens netzbasierter Automatisierungssysteme
On the analysis of stochastic timed systems
Model-based quality assurance of intrumented context-free systems
Symbolische BDD-basierte Modellprüfung asynchroner nebenläufiger Systeme
Abstraction-based analysis of hybrid automata = Abstraktions-basierte Analyse von Hybrid-Automaten
Formal verification of infinite-state systems : one-counter machines, register automata, and timed automata
On the analysis of stochastic timed systems
Modellgenerierung für die SAT-basierte Eigenschaftsprüfung
Model checking for time division multiple access systems
System-on-chip protocol compliance verification using interval property checking = Verifikation von System-on-Chip-Protokollimplementierungen durch intervallbasierte Eigenschaftsprüfung
Erreichbarkeitsanalyse funktionaler Programme mit Grundtermersetzungssystemen
On the analysis of stochastic timed systems
Formale Analyse des Zeitverhaltens netzbasierter Automatisierungssysteme
On the analysis of stochastic timed systems
Model-based quality assurance of intrumented context-free systems
Symbolische BDD-basierte Modellprüfung asynchroner nebenläufiger Systeme
Abstraction-based analysis of hybrid automata = Abstraktions-basierte Analyse von Hybrid-Automaten
Formal verification of infinite-state systems : one-counter machines, register automata, and timed automata
On the analysis of stochastic timed systems
Modellgenerierung für die SAT-basierte Eigenschaftsprüfung
Model checking for time division multiple access systems
System-on-chip protocol compliance verification using interval property checking = Verifikation von System-on-Chip-Protokollimplementierungen durch intervallbasierte Eigenschaftsprüfung
Erreichbarkeitsanalyse funktionaler Programme mit Grundtermersetzungssystemen
On the analysis of stochastic timed systems
Formale Analyse des Zeitverhaltens netzbasierter Automatisierungssysteme
On the analysis of stochastic timed systems
Model-based quality assurance of intrumented context-free systems
Symbolische BDD-basierte Modellprüfung asynchroner nebenläufiger Systeme
Abstraction-based analysis of hybrid automata = Abstraktions-basierte Analyse von Hybrid-Automaten
Formal verification of infinite-state systems : one-counter machines, register automata, and timed automata
On the analysis of stochastic timed systems
Modellgenerierung für die SAT-basierte Eigenschaftsprüfung
Model checking for time division multiple access systems