A method of operating a computer system includes providing a program in memory, verifying the program prior to an installation of the program and generating a program fault signal when the verification fails. The program includes at least one program unit, and each program unit includes an Application...http://www.google.fr/patents/US7231635?utm_source=gb-gplus-shareBrevet US7231635 - Remote incremental program verification using API definitions
Remote incremental program verification using API definitions