Integer linear programming-based property checking for asynchronous reactive systems
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Erschienen in
-
In: IEEE Transactions on Software Engineering ; 39 (2013), 2. - S. 216-236. - ISSN 0098-5589
- Klassifikation
-
Informatik
- Ereignis
-
Veröffentlichung
- (wo)
-
Konstanz
- (wer)
-
Bibliothek der Universität Konstanz
- (wann)
-
2013
- Urheber
- URN
-
urn:nbn:de:bsz:352-243472
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
25.03.2025, 13:44 MEZ
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.
Beteiligte
- Leue, Stefan
- Wei, Wei
- Bibliothek der Universität Konstanz
Entstanden
- 2013
Ähnliche Objekte (12)
Integer Linear Programming Based Property Checking for Asynchronous Reactive Systems
A Livelock Freedom Analysis for Infinite State Asynchronous Reactive Systems
A livelock freedom analysis for infinite state asynchronous reactive systems
Causality checking for complex system models
Causality checking for complex system models
SpinCause : A Tool for Causality Checking
Towards causality checking for complex system models
Counterexamples for Model Checking of Markov Decision Processes
Generation of Counterexamples for Model Checking of Markov Decision Processes
On the synergy of probabilistic causality computation and causality checking
On the Synergy of Probabilistic Causality Computation and Causality Checking
Trail-Directed Model Checking
Integer Linear Programming Based Property Checking for Asynchronous Reactive Systems
A Livelock Freedom Analysis for Infinite State Asynchronous Reactive Systems
A livelock freedom analysis for infinite state asynchronous reactive systems
Causality checking for complex system models
Causality checking for complex system models
SpinCause : A Tool for Causality Checking
Towards causality checking for complex system models
Counterexamples for Model Checking of Markov Decision Processes
Generation of Counterexamples for Model Checking of Markov Decision Processes
On the synergy of probabilistic causality computation and causality checking
On the Synergy of Probabilistic Causality Computation and Causality Checking
Trail-Directed Model Checking
Integer Linear Programming Based Property Checking for Asynchronous Reactive Systems
A Livelock Freedom Analysis for Infinite State Asynchronous Reactive Systems
A livelock freedom analysis for infinite state asynchronous reactive systems
Causality checking for complex system models
Causality checking for complex system models
SpinCause : A Tool for Causality Checking
Towards causality checking for complex system models
Counterexamples for Model Checking of Markov Decision Processes
Generation of Counterexamples for Model Checking of Markov Decision Processes
On the synergy of probabilistic causality computation and causality checking
On the Synergy of Probabilistic Causality Computation and Causality Checking