Fast Parametric Model Checking through Model Fragmentation

Parametric model checking (PMC) computes algebraic formulae that express key non-functional properties of a system (reliability, performance, etc.) as rational functions of the system and environment parameters. In software engineering, PMC formulae can be used during design, e.g., to analyse the se...

Celý popis

Podrobná bibliografia

Vydané v:	Proceedings / International Conference on Software Engineering s. 835 - 846
Hlavní autori:	Fang, Xinwei, Calinescu, Radu, Gerasimou, Simos, Alhwikem, Faisal
Médium:	Konferenčný príspevok..
Jazyk:	English
Vydavateľské údaje:	IEEE 01.05.2021
Predmet:	Analytical models discrete time Markov chains Markov processes non-functional properties Parametric model checking Parametric statistics Runtime Sensitivity Systems architecture
ISBN:	1665402962, 9781665402965
ISSN:	1558-1225
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!