PRESTO: Predicting System-level Disruptions through Parametric Model Checking.

Xinwei Fang, Radu Calinescu, Colin Paterson, Julie Wilson

Browse the full SEAMS paper archive.