Adaptive model learning for continual verification of non-functional properties

  title={Adaptive model learning for continual verification of non-functional properties},
  author={Radu Calinescu and Yasmin Rafiq and Kenneth Johnson and Mehmet Emin Bakir},
A growing number of business and safety-critical services are delivered by computer systems designed to reconfigure in response to changes in workloads, requirements and internal state. In recent work, we showed how a formal technique called continual verification can be used to ensure that such systems continue to satisfy their reliability and performance requirements as they evolve, and we presented the challenges associated with the new technique. In this paper, we address important… CONTINUE READING
Highly Cited
This paper has 35 citations. REVIEW CITATIONS

14 Figures & Tables



Citations per Year

Citation Velocity: 9

Averaging 9 citations per year over the last 3 years.

Learn more about how we calculate this metric in our FAQ.