|
[GCB14]
Simos Gerasimou, Radu Calinescu and Alec Banks.
Efficient Runtime Quantitative Verification using Caching, Lookahead, and Nearly-Optimal Reconfiguration.
In Proc. 9th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS'14), pages 115-124.
2014.
[Presents advances in runtime quantitative verification with an implementation that uses PRISM as a model checker.]
|
|
Links:
[Google]
[Google Scholar]
|