(Created page with '*'''SPIN ''' http://spinroot.com/spin/whatispin.html *'''PAT ''' http://www.comp.nus.edu.sg/~pat/ *'''MALPAS ''' http://www.atkinsglobal.co.uk/sectors-and-services/sectors/d…') |
No edit summary |
||
| (One intermediate revision by one other user not shown) | |||
| Line 11: | Line 11: | ||
*'''NuSMV ''' http://nusmv.fbk.eu/ | *'''NuSMV ''' http://nusmv.fbk.eu/ | ||
*'''Murphi ''' http://www.cs.utah.edu/formal_verification/Murphi/ | *'''Murphi ''' http://www.cs.utah.edu/formal_verification/Murphi/ | ||
*'''XMC ''' | *'''XMC ''' http://www.cav2005.inf.ed.ac.uk/2005_call_for_papers.html | ||
*'''BLAST ''' http://mtc.epfl.ch/software-tools/blast/index-epfl.php | *'''BLAST ''' http://mtc.epfl.ch/software-tools/blast/index-epfl.php | ||
*'''DiVinE ''' http://divine.fi.muni.cz/ | *'''DiVinE ''' http://divine.fi.muni.cz/ | ||
| Line 19: | Line 19: | ||
*'''YASM ''' http://www.cs.toronto.edu/~arie/yasm/ | *'''YASM ''' http://www.cs.toronto.edu/~arie/yasm/ | ||
*'''SLAM ''' http://research.microsoft.com/en-us/projects/slam/ | *'''SLAM ''' http://research.microsoft.com/en-us/projects/slam/ | ||
Other Lists: | |||
* http://www.pst.informatik.uni-muenchen.de/~hammer/mc-list.html | |||
* http://en.wikipedia.org/wiki/List_of_Model_Checking_Tools | |||
Other Lists: