Combining Partial Order Reduction and Symbolic Model Checking to verify LTL properties

TitleCombining Partial Order Reduction and Symbolic Model Checking to verify LTL properties
Publication TypeConference Paper
Year of Publication2011
AuthorsMeulen, JV, Pecheur C
EditorMihaela Bobaru, Klaus Havelund, GHRJ
Conference NameNASA FORMAL METHODS 2011
PublisherSpringer
URLhttp://lvl.info.ucl.ac.be/Publications/CombiningPartialOrderReductionAndSymbolicModelCheckingToVerifyLTLProperties