Using Symbolic Simulation for Bounded Property Checking.

Jrgen Ruf, Prakash Mohan Peranandam, Thomas Kropf, Wolfgang Rosenstiel

Browse the full FDL paper archive.