Fast Parametric Model Checking with Applications to Software Performability Analysis

Xinwei Fang, Radu Calinescu*, Simos Gerasimou, Faisal Alhwikem

*Corresponding author for this work

Research output: Contribution to journalArticlepeer-review

Original languageEnglish
Pages (from-to)4707-4730
Number of pages14
JournalIEEE Transactions on Software Engineering
Publication statusPublished - 1 Oct 2023

Bibliographical note

© IEEE, 2023. This is an author-produced version of the published paper. Uploaded in accordance with the University’s Research Publications and Open Access policy.

Cite this