Its Prevent product, in use at Oracle, Synopsys and Sun, works as a kind of "grammar checker, " looking for nonsensical mathematical functions, racing through thousands of possible permutations in seconds.

FORBES: Magazine Article