Template based approach to discovering disjunctive and quantified invariants over… Grant US-8271404-B2 United States of America 18 Sep 2012