Kratos - A Software Model Checker for SystemC.

Alessandro Cimatti, Alberto Griggio, Andrea Micheli, Iman Narasamdya, Marco Roveri

Browse the full CAV paper archive.