- Sprache
-
Englisch
- Anmerkungen
-
Konstanz, Univ., Diss., 2008
- Identifier
-
988564777
Thema
Verifikation ; Software ; System ; Model checking ; Kommunikationsprotokoll ; Formale Sprache ; Formale Methode ; Unendlicher Zustandsraum ; Zustandsr; Hochschulschrift
Beteiligte Personen und Organisationen
- URN
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
26.01.2023, 13:55 MEZ
Objekttyp
- Monografie
Ähnliche Objekte (12)
Correctness of Data Flows in Asynchronous Distributed Systems: Model Checking and Synthesis
Software doping – Theory and detection
A formal approach to the development of industrial cyber-physical systems
Formal verification of the pastry protocol
Model-based quality assurance of intrumented context-free systems
Explanation of the Model Checker Verification Results
Service-oriented design and verification of hybrid systems
Towards cooperative software verification with test generation and formal verification
On Executing State-Based Specifications and Partial Order Reduction for High-Level Formalisms
Model checking combined Z and statechart specifications
A uniform approach to the complexity and analysis of succinct systems
Automated verification of system requirements and software specifications
Correctness of Data Flows in Asynchronous Distributed Systems: Model Checking and Synthesis
Software doping – Theory and detection
A formal approach to the development of industrial cyber-physical systems
Formal verification of the pastry protocol
Model-based quality assurance of intrumented context-free systems
Explanation of the Model Checker Verification Results
Service-oriented design and verification of hybrid systems
Towards cooperative software verification with test generation and formal verification
On Executing State-Based Specifications and Partial Order Reduction for High-Level Formalisms
Model checking combined Z and statechart specifications
A uniform approach to the complexity and analysis of succinct systems
Automated verification of system requirements and software specifications
Correctness of Data Flows in Asynchronous Distributed Systems: Model Checking and Synthesis
Software doping – Theory and detection
A formal approach to the development of industrial cyber-physical systems
Formal verification of the pastry protocol
Model-based quality assurance of intrumented context-free systems
Explanation of the Model Checker Verification Results
Service-oriented design and verification of hybrid systems
Towards cooperative software verification with test generation and formal verification
On Executing State-Based Specifications and Partial Order Reduction for High-Level Formalisms
Model checking combined Z and statechart specifications
A uniform approach to the complexity and analysis of succinct systems