Process for verifying computer codes and corresponding verification system Grant US-8745593-B2 United States of America 03 Jun 2014
METHOD AND SYSTEM FOR RUNTIME PROGRAM ERROR DETECTION Application WO-2009081267-A3 World Intellectual Property Organisation (WIPO) 05 Nov 2009