|
[Cam20]
Javier Cámara.
HaiQ: Synthesis of Software Design Spaces with Structural and Probabilistic Guarantees.
In Proc. IEEE/ACM 8th International Conference on Formal Methods in Software Engineering (FormaliSE'20).
2020.
[Presents a tool, HaiQ, for formal analysis of software desings, including PRISM as a backend.]
|
|
Links:
[Google]
[Google Scholar]
|