IBM®
Skip to main content
    United States change      Terms of use
 
 
Select a scope:    
     Home      Products      Services & industry solutions      Support & downloads      My account     
alphaWorks  >  Systems management  >  

FoCs Property Checkers Generator

A productivity tool for automatic generation of simulation monitors from formal specifications.


Date Posted: November 18, 2002
Overview RequirementsDownloadFAQs Forum Reviews

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    12744KBGzipped tar file containing FoCs 2.04 (Formal Checkers) for AIX
focs_linux-release.tgz    7436KBGzipped tar file containing FoCs 2.04 (Formal Checkers) for Linux
focs_solaris_release.tgz    9960KBGzipped tar file containing FoCs 2.04 (Formal Checkers) for Solaris
Download now Download now
Download now Download now

Related technologies

For platform(s):
AIX, Linux, Solaris

For topics:
analysis, automation, monitoring, Simulation, Systems management, verification


Related resources

Press Articles

 

    About IBM Privacy Contact