PRESTO: Predicting System-level Disruptions through Parametric Model Checking

Xinwei Fang, Radu Calinescu, Colin Paterson, Julie Wilson. PRESTO: Predicting System-level Disruptions through Parametric Model Checking. In International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2022, Pittsburgh, PA, USA, May 22-24, 2022. pages 91-97, IEEE, 2022. [doi]

Abstract

Abstract is missing.