|
[CRJB14]
Radu Calinescu, Yasmin Rafiq, Kenneth Johnson and Mehmet Emin Bakir .
Adaptive Model Learning for Continual Verification of Non-Functional Properties.
In Proc. 5th ACM/SPEC international conference on Performance engineering (ICPE'14), pages 87-98, ACM.
2014.
[Proposes adaptive model learning techniques for continuous probabilistic verification, including PRISM as a backend solver.]
|
|
Links:
[Google]
[Google Scholar]
|