Stochastic Model Checking with Stochastic Comparison

This paper presents a stochastic comparison based method to check state formulas defined over Discrete Time Markov Reward Models. High-level specifications like stochastic Petri nets, Stochastic Automata Networks, Stochastic Process Algebras have been developed to construct large Markov models. Howe...

Ausführliche Beschreibung

Bibliographische Detailangaben

Hauptverfasser:	Pekergin, Nihal, Younès, Sana
Format:	Tagungsbericht
Sprache:	eng
Schlagworte:	Applied sciences Atomic Proposition Computer science control theory systems Computer systems and distributed systems. User interface Computer systems performance. Reliability Discrete Time Markov Chain Exact sciences and technology Markov Chain Packet Loss Software State Formula
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!