|
[JCK13]
Kenneth Johnson, Radu Calinescu and Shinji Kikuchi.
An Incremental Verification Framework for Component-Based Software Systems.
In Proc. 16th International ACM Sigsoft symposium on Component-based software engineering (CBSE'13), pages 33-42.
2013.
[Presents a framework for the efficient reverification of component-based software system, with a software prototype built on top of PRISM.]
|
|
Links:
[Google]
[Google Scholar]
|