for the SPIN model checker. http://netlib.bell-labs.com/netlib/spin/ whatispin.html (0)

by Home page