Bhargav S. Gulavani, Thomas A. Henzinger, Yamini Kannan, Aditya V. Nori, Sriram K. Rajamani
SYNERGY: a new algorithm for property checking
FSE, 2006.
@inproceedings{FSE-2006-GulavaniHKNR,
author = "Bhargav S. Gulavani and Thomas A. Henzinger and Yamini Kannan and Aditya V. Nori and Sriram K. Rajamani",
booktitle = "{Proceedings of the 14th International Symposium on Foundations of Software Engineering}",
doi = "10.1145/1181775.1181790",
editor = "Michal Young and Premkumar T. Devanbu",
isbn = "1-59593-468-5",
pages = "117--127",
publisher = "{ACM}",
title = "{SYNERGY: a new algorithm for property checking}",
year = 2006,
}
Tags: