www.prismmodelchecker.org
[BML05b] M. ter Beek, M. Massink and D. Latella. Towards Model Checking Stochastic Aspects of the thinkteam User Interface. In M. Harrison (editor), Proc. 12th International Workshop on Design, Specification and Verification of Interactive Systems (DSVIS'05), volume 3941 of Lecture Notes in Computer Science, pages 39-50, Springer. July 2005. [bib] http://fmt.isti.cnr.it/~mtbeek/
Downloads:  bib bib
Notes: The original publication is available at www.springerlink.com.

Publications