Synergy: A new algorithm for property checking (2006)

by B S Gulavani, T A Henzinger, Y Kannan, A V Nori, S K Rajamani
Venue:In Proceedings of the 14th ACM SIGSOFT International Symposium on Foundations of Software Engineering (SIGSOFT ’06/FSE-14