Milestones: A Model Checker Combining Symbolic Model Checking and Partial Order Reduction

TitleMilestones: A Model Checker Combining Symbolic Model Checking and Partial Order Reduction
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/MilestonesAModelCheckerCombiningSymbolicModelCheckingAndPartialOrderReduction