Using dynamic analysis to improve model checking Grant US-7962901-B2 United States of America 14 Jun 2011
Leveraging garbage collection to dynamically infer heap invariants Grant US-7912877-B2 United States of America 22 Mar 2011