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 SIGSOFT FSE