A method and system for verifying resolution of attributes of a computer program. The verification system analyzes a command-based computer program prior to runtime to determine whether the input attributes associated with a command would be properly resolved prior to execution of that command at runtime....http://www.google.com/patents/US7047522?utm_source=gb-gplus-sharePatent US7047522 - Method and system for verifying a computer program
