- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
Konstanz, Univ., Diss., 2008
- Keyword
-
Verifikation ; Software ; System ; Model checking ; Kommunikationsprotokoll ; Formale Sprache ; Formale Methode ; Unendlicher Zustandsraum ; Zustandsr
- Creator
- URN
-
urn:nbn:de:bsz:352-opus-53607
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
14.08.2025, 11:01 AM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Object type
- Hochschulschrift
Associated
Other Objects (12)
Integer linear programming-based property checking for asynchronous reactive systems
Integer Linear Programming Based Property Checking for Asynchronous Reactive Systems
Efficient distributed bounded property checking
Incomplete property rights and overinvestment
Extracting safe thread schedules from incomplete model checking results
Model checking abilities under incomplete information is indeed Delta2-complete
Correctness of Data Flows in Asynchronous Distributed Systems: Model Checking and Synthesis
A Livelock Freedom Analysis for Infinite State Asynchronous Reactive Systems
A livelock freedom analysis for infinite state asynchronous reactive systems
Asynchronous circuits
Asynchronous communication
Liveness checking as safety checking
Integer linear programming-based property checking for asynchronous reactive systems
Integer Linear Programming Based Property Checking for Asynchronous Reactive Systems
Efficient distributed bounded property checking
Incomplete property rights and overinvestment
Extracting safe thread schedules from incomplete model checking results
Model checking abilities under incomplete information is indeed Delta2-complete
Correctness of Data Flows in Asynchronous Distributed Systems: Model Checking and Synthesis
A Livelock Freedom Analysis for Infinite State Asynchronous Reactive Systems
A livelock freedom analysis for infinite state asynchronous reactive systems
Asynchronous circuits
Asynchronous communication
Liveness checking as safety checking
Integer linear programming-based property checking for asynchronous reactive systems
Integer Linear Programming Based Property Checking for Asynchronous Reactive Systems
Efficient distributed bounded property checking
Incomplete property rights and overinvestment
Extracting safe thread schedules from incomplete model checking results
Model checking abilities under incomplete information is indeed Delta2-complete
Correctness of Data Flows in Asynchronous Distributed Systems: Model Checking and Synthesis
A Livelock Freedom Analysis for Infinite State Asynchronous Reactive Systems
A livelock freedom analysis for infinite state asynchronous reactive systems
Asynchronous circuits
Asynchronous communication