|
[ZREF13]
Fokion Zervoudakis, David S. Rosenblum, Sebastian Elbaum and Anthony Finkelstein.
Cascading Verification: An Integrated Method for Domain-Specific Model Checking.
In Proc. 9th Joint Meeting on Foundations of Software Engineering (ESEC/FSE'13), pages 400-410 , ACM.
2013.
[Proposes a domain-specific model checking framework, including PRISM as an underlying solver.]
|
|
Links:
[Google]
[Google Scholar]
|