Alessandro Cimatti, Iman Narasamdya and Marco Roveri were awarded the EASST Best Paper Award for the paper “Boosting Lazy Abstraction for SystemC with Partial Order Reduction” at the TACAS 2011 conference.
Alessandro Cimatti, Iman Narasamdya and Marco Roveri were awarded the EASST Best Paper Award for the paper “Boosting Lazy Abstraction for SystemC with Partial Order Reduction” at the TACAS 2011 conference.