Program analysis through predicate abstraction and refinement Grant US-8402444-B2 United States of America 19 Mar 2013