Monografie
Model-based quality assurance of intrumented context-free systems
- Sprache
-
Englisch
- Identifier
-
1310131821
Thema
Formale Methode; Model Checking; Systementwurf; Programmverifikation; Verifikation; Zeitbehafteter Automat; Modellbasiertes Testen; Conformance Checking; Kontextfreie Syntax
Beteiligte Personen und Organisationen
- URN
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
09.01.2024, 09:53 MEZ
Objekttyp
- Monografie
Beteiligte
- Frohme, Markus
- Steffen, Bernhard
- Jonsson, Bengt
Ähnliche Objekte (12)
Towards cooperative software verification with test generation and formal verification
Explanation of the Model Checker Verification Results
Correctness of Data Flows in Asynchronous Distributed Systems: Model Checking and Synthesis
Model checking pushdown systems
Formal Verification of Firmware-Based System-on-Chip Modules
On the analysis of stochastic timed systems
On the analysis of stochastic timed systems
Automated technology for verification and analysis : 8th international symposium ; proceedings
Formal methods for industrial critical systems : 14th international workshop ; proceedings
Formal methods for industrial critical systems : 12th international workshop ; revised selected papers
Synthesizing realistic verification tasks
On Executing State-Based Specifications and Partial Order Reduction for High-Level Formalisms
Towards cooperative software verification with test generation and formal verification
Explanation of the Model Checker Verification Results
Correctness of Data Flows in Asynchronous Distributed Systems: Model Checking and Synthesis
Model checking pushdown systems
Formal Verification of Firmware-Based System-on-Chip Modules
On the analysis of stochastic timed systems
On the analysis of stochastic timed systems
Automated technology for verification and analysis : 8th international symposium ; proceedings
Formal methods for industrial critical systems : 14th international workshop ; proceedings
Formal methods for industrial critical systems : 12th international workshop ; revised selected papers
Synthesizing realistic verification tasks
On Executing State-Based Specifications and Partial Order Reduction for High-Level Formalisms
Towards cooperative software verification with test generation and formal verification
Explanation of the Model Checker Verification Results
Correctness of Data Flows in Asynchronous Distributed Systems: Model Checking and Synthesis
Model checking pushdown systems
Formal Verification of Firmware-Based System-on-Chip Modules
On the analysis of stochastic timed systems
On the analysis of stochastic timed systems
Automated technology for verification and analysis : 8th international symposium ; proceedings
Formal methods for industrial critical systems : 14th international workshop ; proceedings
Formal methods for industrial critical systems : 12th international workshop ; revised selected papers
Synthesizing realistic verification tasks