Parameter synthesis for Markov models: covering the parameter space

Markov chain analysis is a key technique in formal verification. A practical obstacle is that all probabilities in Markov models need to be known. However, system quantities such as failure rates or packet loss ratios, etc. are often not—or only partially—known. This motivates considering parametric...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	Formal methods in system design 2024, Vol.62 (1-3), p.181-259
Hauptverfasser:	Junges, Sebastian, Ábrahám, Erika, Hensel, Christian, Jansen, Nils, Katoen, Joost-Pieter, Quatmann, Tim, Volk, Matthias
Format:	Artikel
Sprache:	eng
Schlagworte:	Algorithms CAE) and Design Circuits and Systems Computer-Aided Engineering (CAD Electrical Engineering Engineering Failure Markov analysis Markov chains Parameters Software Software Engineering/Programming and Operating Systems
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!