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


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