www.prismmodelchecker.org
[DDS04] D. D'Aprile, S. Donatelli and J. Sproston. CSL Model Checking for the GreatSPN Tool. In C. Aykanat, T. Dayar and I. Korpeoglu (editors), International Symposium on Computer and Information Sciences, volume 3280 of Lecture Notes in Computer Science, pages 543-552, Springer Verlag. 2004. http://www.di.unito.it/~sproston/Research/research.html
Notes: The original publication is available at www.springerlink.com.

Publications