Efficient invariant inference for program verification Grant US-8453116-B2 United States of America 28 May 2013