Downloadable file(s) available for FoCs Property Checkers Generator. NOTE: Obtain the evaluation license key by sending an email to focs@il.ibm.com with the log-in name of the person who will be using FoCs.
Filename
File size
Description
focs_aix_release.tgz
12744KB
Gzipped tar file containing FoCs 2.04 (Formal Checkers) for AIX
focs_linux-release.tgz
7436KB
Gzipped tar file containing FoCs 2.04 (Formal Checkers) for Linux
focs_solaris_release.tgz
9960KB
Gzipped tar file containing FoCs 2.04 (Formal Checkers) for Solaris
