Hochschulschrift
Incomplete property checking for asynchronous reactive systems
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
Konstanz, Univ., Diss., 2008
- Schlagwort
-
Verifikation ; Software ; System ; Model checking ; Kommunikationsprotokoll ; Formale Sprache ; Formale Methode ; Unendlicher Zustandsraum ; Zustandsr
- Urheber
- URN
-
urn:nbn:de:bsz:352-opus-53607
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
14.08.2025, 11:01 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Objekttyp
- Hochschulschrift
Beteiligte
Ähnliche Objekte (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