In one embodiment, the present invention is a method for automatically preventing errors in computer software. The method includes storing the computer software in a code repository; executing a plurality of software verification tools to verify the computer software, wherein each of the plurality of...http://www.google.com.hk/patents/US20050015675?utm_source=gb-gplus-share專利 US20050015675 - Method and system for automatic error prevention for computer software
