Incremental Runtime Verification of Probabilistic Systems

@inproceedings{Forejt2012IncrementalRV,
  title={Incremental Runtime Verification of Probabilistic Systems},
  author={Vojtech Forejt and Marta Z. Kwiatkowska and David Parker and Hongyang Qu and Mateusz Ujma},
  booktitle={RV},
  year={2012}
}
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