Incremental Runtime Verification of Probabilistic Systems

  title={Incremental Runtime Verification of Probabilistic Systems},
  author={Vojtech Forejt and Marta Z. Kwiatkowska and David Parker and Hongyang Qu and Mateusz Ujma},
Probabilistic verification techniques have been proposed for runtime analysis of adaptive software systems, with the verification results being used to steer the system so that it satisfies certain Qualityof-Service requirements. Since systems evolve over time, and verification results are required promptly, efficiency is an essential issue. To address this… CONTINUE READING