|
[KJR13]
Radu Calinescu, Kenneth Johnson and Yasmin Rafiq.
Developing Self-Verifying Service-Based Systems.
In Proc. 28th IEEE/ACM International Conference on Automated Software Engineering (ASE'13), IEEE.
2013.
[Describes a self-verifying framework for service-based systems, including PRISM as a backend solver.]
|
|
Links:
[Google]
[Google Scholar]
|