Verifying SystemC: A software model checking approach.

Alessandro Cimatti, Andrea Micheli, Iman Narasamdya, Marco Roveri

Browse the full FMCAD paper archive.