SYNERGY: a new algorithm for property checking

Open Webpage

Bhargav S. Gulavani, Thomas A. Henzinger, Yamini Kannan, Aditya V. Nori, Sriram K. Rajamani

Published: 2006, Last Modified: 27 Apr 2025SIGSOFT FSE 2006EveryoneRevisionsBibTeXCC BY-SA 4.0