www.prismmodelchecker.org
[AB12] Alessandro Aldini and Alessandro Bogliolo. Model Checking of Trust-Based User-Centric Cooperative Networks. In Proc. 4th International Conference on Advances in Future Internet (AFIN'12). 2012.
Links: [Google] [Google Scholar]

Publications