Combining Partial Order Reduction with Bounded Model Checking

TitleCombining Partial Order Reduction with Bounded Model Checking
Publication TypeConference Paper
Year of Publication2009
AuthorsMeulen, JV, Pecheur C
PublisherIOS Press
URLhttp://lvl.info.ucl.ac.be/Publications/CombiningPartialOrderReductionWithBoundedModelChecking