Netter: Probabilistic, Stateful Network Models

Produce Prism models from a simple imperative language

Examples

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

Publication

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.