nusmv

http://nusmv.fbk.eu/

Current versions
2.5.4

nusmv requires the following formula to be installed:
wget 1.19.4_1 Internet file retriever

Recent formula history

Viktor Szakats nusmv: secure url(s)
Ian Lancaster nusmv: fix audit warnings
Niels NuSMV: 2.54 - A Symbolic Model Checker

Formula code at GitHub