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...

Full description

Bibliographic Details

Published in:	Proceedings / International Conference on Software Engineering pp. 835 - 846
Main Authors:	Fang, Xinwei, Calinescu, Radu, Gerasimou, Simos, Alhwikem, Faisal
Format:	Conference Proceeding
Language:	English
Published:	IEEE 01.05.2021
Subjects:	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
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!