Simulation and verification I: from simulation to verification (and back).

Harald Rue, Leonardo Mendona de Moura

Browse the full WSC paper archive.