Boosting Lazy Abstraction for SystemC with Partial Order Reduction.

Alessandro Cimatti, Iman Narasamdya, Marco Roveri

Browse the full TACAS paper archive.