Prakash Mohan Peranandam, Pradeep Kumar Nalla, Jürgen Ruf, Roland J. Weiss, Thomas Kropf, Wolfgang Rosenstiel
Fast falsification based on symbolic bounded property checking
DAC, 2006.
@inproceedings{DAC-2006-PeranandamNRWKR,
author = "Prakash Mohan Peranandam and Pradeep Kumar Nalla and Jürgen Ruf and Roland J. Weiss and Thomas Kropf and Wolfgang Rosenstiel",
booktitle = "{Proceedings of the 43rd Design Automation Conference}",
doi = "10.1145/1146909.1147181",
isbn = "1-59593-381-6",
pages = "1077--1082",
publisher = "{ACM}",
title = "{Fast falsification based on symbolic bounded property checking}",
year = 2006,
}