IBM®
Skip to main content
    Israel [change]    Terms of use
 
 
 
    Home    Products    Services & solutions    Support & downloads    My account    
IBM Research

FoCs

Formal Verification


FoCs In alphaWorks


On November 18, 2002, IBM announced the availability of FoCs, with support for Sugar 2.0, on alphaWorks (IBM's outlet for emerging technologies).

The announcement has attracted a great deal of attention in the engineering community (hundreds of downloads in the first few days following the release).

For more information:



 
 

    About IBMPrivacyContact