- Sprache
-
Englisch
- Identifier
-
1239417918
Thema
Steffen, Bernhard; Benchmark; Programmverifikation; Model Checking; Bisimulation; Temporale Logik; Synthese
Beteiligte Personen und Organisationen
- URN
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
26.01.2023, 13:57 MEZ
Objekttyp
- Monografie
Beteiligte
- Jasper, Marc
- Steffen, Bernhard
- Siegel, Stephen F.
Ähnliche Objekte (12)
Model-based quality assurance of intrumented context-free systems
Model checking pushdown systems
Systems and software verification : model checking techniques and tools
Symbolische BDD-basierte Modellprüfung asynchroner nebenläufiger Systeme
Verification, model checking, and abstract interpretation : 5th international conference ; proceedings
On the complexity of modal logic variants and their fragments
Document verification with temporal description logics
Towards cooperative software verification with test generation and formal verification
Model composition in model-checking
Generation of domain-specific language-to-language transformation languages
Formal Verification of Firmware-Based System-on-Chip Modules
Symbolic semantics and verification of stochastic process algebras = Symbolische Semantik und Verifikation stochastischer Prozessalgebren
Model-based quality assurance of intrumented context-free systems
Model checking pushdown systems
Systems and software verification : model checking techniques and tools
Symbolische BDD-basierte Modellprüfung asynchroner nebenläufiger Systeme
Verification, model checking, and abstract interpretation : 5th international conference ; proceedings
On the complexity of modal logic variants and their fragments
Document verification with temporal description logics
Towards cooperative software verification with test generation and formal verification
Model composition in model-checking
Generation of domain-specific language-to-language transformation languages
Formal Verification of Firmware-Based System-on-Chip Modules
Symbolic semantics and verification of stochastic process algebras = Symbolische Semantik und Verifikation stochastischer Prozessalgebren
Model-based quality assurance of intrumented context-free systems
Model checking pushdown systems
Systems and software verification : model checking techniques and tools
Symbolische BDD-basierte Modellprüfung asynchroner nebenläufiger Systeme
Verification, model checking, and abstract interpretation : 5th international conference ; proceedings
On the complexity of modal logic variants and their fragments
Document verification with temporal description logics
Towards cooperative software verification with test generation and formal verification
Model composition in model-checking
Generation of domain-specific language-to-language transformation languages
Formal Verification of Firmware-Based System-on-Chip Modules