Program verification using templates over predicate abstraction (2009)

by Saurabh Srivastava, Sumit Gulwani
Venue:In PLDI ’09: Proceedings of the 2009 ACM SIGPLAN conference on Programming language design and implementation