Program analysis through predicate abstraction and refinement Grant US-8402444-B2 United States of America 19 Mar 2013
DISJUNCTIVE IMAGE COMPUTATION FOR SEQUENTIAL SYSTEMS Application EP-1913472-A4 European Patent Office 18 Apr 2012
DISJUNCTIVE IMAGE COMPUTATION FOR SEQUENTIAL SYSTEMS Application EP-1913472-A2 European Patent Office 23 Apr 2008