www.prismmodelchecker.org
[SLDP09] Jun Sun and Yang Liu and Jin Song Dong and Jun Pang. PAT: Towards Flexible Verification under Fairness. In Proc. 21st International Conference on Computer Aided Verification (CAV'09), volume 5643 of LNCS, pages 709-714, Springer. 2009. [bib]
Downloads:  bib bib
Notes: The original publication is available at www.springerlink.com.

Publications