Bounded Model Checking of Multi-threaded C Programs via Lazy Sequentialization.

Omar Inverso, Ermenegildo Tomasco, Bernd Fischer, Salvatore La Torre, Gennaro Parlato

Browse the full CAV paper archive.