SYNERGY: a new algorithm for property checking (0)

by B S GULAVANI, T A HENZINGER, Y KANNAN, A V NORI, S K RAJAMANI
Venue:In FSE’06: Proc. of the 14th ACM SIGSOFT Int. Symp. on Foundations of Software Engineering (2006), ACM