www.prismmodelchecker.org
[PC20] Colin Paterson and Radu Calinescu. Observation-Enhanced QoS Analysis of Component-Based Systems. IEEE Transactions on Software Engineering. 2020. [Presents an approach for integrating observation data into quality-of-service analysis of component-based systems, using PRISM for model analysis. ]
Links: [Google] [Google Scholar]

Publications