Simulation-guided property checking based on a multi-valued AR-automata.

Jrgen Ruf, Dirk W. Hoffmann, Thomas Kropf, Wolfgang Rosenstiel

Browse the full DATE paper archive.