Fast falsification based on symbolic bounded property checking.

Prakash Mohan Peranandam, Pradeep Kumar Nalla, Jrgen Ruf, Roland Weiss, Thomas Kropf, Wolfgang Rosenstiel

Browse the full DAC paper archive.