www.prismmodelchecker.org
[HSV94] L. Helmink, M. Sellink and F. Vaandrager. Proof-checking a data link protocol. In H. Barendregt and T. Nipkow (editors), Proc. International Workshop on Types for Proofs and Programs (TYPES'93), volume 806 of LNCS, pages 127--165, Springer. 1994. [bib]
Downloads:  bib bib
Notes: The original publication is available at www.springerlink.com.

Publications