www.prismmodelchecker.org

More information about PRISM

Here is a promotional video about PRISM, courtesy of Lu Feng:

About PRISM