Reviews (0)
For Workflow: prism Web service
PRISM model checking (http://www.prismmodelchecker.org/manual/RunningPRISM/ModelChecking). The '-fixdl' switch is used, which means that all deadlock states in model are fixed by addition of self-loops.
Created: 2011-01-26 | Last updated: 2011-01-26
Credits: trybik