. . "and maintaining software including methods for verifying that systems are internally consistent and correct relative to their specificationsUS6282698 *Dec 4, 1998Aug 28, 2001Lucent Technologies Inc.Detecting similarities in Java sources from bytecodesUS6298319 *Aug 26, 1999Oct 2, 2001Altera CorporationIncremental compilation of electronic design for work groupUS6446255 *Mar 29, 1999Sep 3, 2002Inte" . .