Unifying type checking and property checking for low level programs Grant US-8813043-B2 United States of America 19 Aug 2014
Template based approach to discovering disjunctive and quantified invariants over… Grant US-8271404-B2 United States of America 18 Sep 2012