Grid Based Fast Falsification For Bounded Property Checking.

Pradeep Kumar Nalla, Jrg Behrend, Prakash Mohan Peranandam, Jrgen Ruf, Thomas Kropf, Wolfgang Rosenstiel

Browse the full FDL paper archive.