A. Cimatti1 -
E. Clarke2 -
F. Giunchiglia1 -
M. Roveri1,3
1ITC-IRST, Via Sommarive 18, 38055 Povo, Trento, Italy
{cimatti,fausto,roveri}@irst.itc.it
2SCS, Carnegie-Mellon University, 5000 Forbes Avenue, Pittsburgh, PA
15213-3891, USA, Edmund.Clarke@cs.cmu.edu
3DSI, University of Milano, Via Comelico 39, 20135 Milano, Italy