Verification of parametric system designs.

Alessandro Cimatti, Iman Narasamdya, Marco Roveri

Browse the full FMCAD paper archive.