ing and maintaining software including methods for verifying that systems are internally consistent and correct relative to their specificationsUS6282701 *Jul 30, 1998Aug 28, 2001Mutek Solutions, Ltd.System and method for monitoring and analyzing the execution of computer programsUS6286047Sep 10, 1998Sep 4, 2001Hewlett-Packard CompanyMethod and system for automatic discovery of network servicesUS6