www.prismmodelchecker.org
[Kal07] E. Kaldeli. Investigating formal representations of PIN block attacks. Masters thesis, School of Informatics, University of Edinburgh. 2007. [bib] http://www.inf.ed.ac.uk/publications/thesis/online/IM070467.pdf
Downloads:  bib bib
Links: [Google] [Google Scholar]

Publications