scheck is a tool for translating safety LTL formulae to finite automata.

The newest version of scheck is version 1.2.0 (Nov 1, 2004):

scheck-1.2.0.tar.gz (42 kB)

The source code is available under the terms of the GNU General Public License. scheck should compile on most platforms with no or small modification using gcc versions between 2.95 to 3.3.

Older versions of scheck:

scheck1.1.tar.gz (38 kB)

scheck-1.0.tar.gz (296 kB)


T. Latvala. On Model Checking Safety Properties. Technical Report HUT-TCS-A76. Helsinki University of Technology. 2002. Available from here.

T. Latvala. Efficient Model Checking of Safety Properties. In: T. Ball and S.K. Rajamani (eds.), Model Checking Software. 10th International SPIN Workshop. Volume 2648 of LNCS, pp. 74-88, Springer, 2003.

Have fun, Timo Latvala

Last modified: Mon Aug 11 16:09:53 EEST 2003

Valid HTML 4.01!

Site Meter