Produce Prism models from a simple imperative language
We include several examples in our paper's artifact. If you are interested in how we used Netter in our case study, please visit: https://doi.org/10.5281/zenodo.4089060
Netter: Probabilistic, Stateful Network Models. Han Zhang, Chi Zhang, Arthur Azevedo de Amorim, Yuvraj Agarwal, Matt Fredrikson and Limin Jia. VMCAI 2021 - 22nd International Conference on Verification, Model Checking, and Abstract Interpretation.