Explicit state model checking in the development process for interlocking software systems
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Klassifikation
-
Informatik
- Ereignis
-
Veröffentlichung
- (wo)
-
Konstanz
- (wer)
-
Bibliothek der Universität Konstanz
- (wann)
-
2013
- Urheber
-
Biechele, Peter
Leue, Stefan
- URN
-
urn:nbn:de:bsz:352-222017
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
25.03.2025, 13:51 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
- Biechele, Peter
- Leue, Stefan
- Bibliothek der Universität Konstanz
Entstanden
- 2013
Ähnliche Objekte (12)
Directed Explicit Model Checking with HSF-SPIN
Directed explicit-statemodel checking in the validation of communication protocols
Introductory paper : [zu: Special section on the algorithmics of software model checking]
Causality checking for complex system models
Causality checking for complex system models
Towards causality checking for complex system models
SpinCause : A Tool for Causality Checking
Counterexamples for Model Checking of Markov Decision Processes
On the Synergy of Probabilistic Causality Computation and Causality Checking
Integer Linear Programming Based Property Checking for Asynchronous Reactive Systems
On the synergy of probabilistic causality computation and causality checking
Generation of Counterexamples for Model Checking of Markov Decision Processes
Directed Explicit Model Checking with HSF-SPIN
Directed explicit-statemodel checking in the validation of communication protocols
Introductory paper : [zu: Special section on the algorithmics of software model checking]
Causality checking for complex system models
Causality checking for complex system models
Towards causality checking for complex system models
SpinCause : A Tool for Causality Checking
Counterexamples for Model Checking of Markov Decision Processes
On the Synergy of Probabilistic Causality Computation and Causality Checking
Integer Linear Programming Based Property Checking for Asynchronous Reactive Systems
On the synergy of probabilistic causality computation and causality checking
Generation of Counterexamples for Model Checking of Markov Decision Processes
Directed Explicit Model Checking with HSF-SPIN
Directed explicit-statemodel checking in the validation of communication protocols
Introductory paper : [zu: Special section on the algorithmics of software model checking]
Causality checking for complex system models
Causality checking for complex system models
Towards causality checking for complex system models
SpinCause : A Tool for Causality Checking
Counterexamples for Model Checking of Markov Decision Processes
On the Synergy of Probabilistic Causality Computation and Causality Checking
Integer Linear Programming Based Property Checking for Asynchronous Reactive Systems
On the synergy of probabilistic causality computation and causality checking