www.prismmodelchecker.org
[GRV06] U. Glasser, S. Rastkar and M. Vajihollahi. Computational Modeling and Experimental Validation of Aviation Security Procedures. In Proc. Intelligence and Security Informatics (ISI'06) . May 2006. http://fas.sfu.ca/pub/cs/techreports/2006/CMPT2006-02.pdf
Links: [Google] [Google Scholar]

Publications