Created by pecheur, at February 28, 2011, at 09:23 AM

José Vander Meulen and Charles Pecheur had a full paper and a tool paper accepted at NFM 2011.

NFM 2011, the Third NASA Formal Methods Symposium, will take place in Pasadena, CA in April 2011. Both papers cover recent advances in the research of José Vander Meulen.

Tags: Symbolic Model Checking, Partial Order Reduction, Publications

Sections

• LVL Home Page
• News
• Research Themes
• Publications
• Talks
• Tools
• Staff
• Contact

Tag cloud

Verification Diagnosis Autonomy ModelChecking Planning PDDL Requirements Testing LTL ThemeCoverage HumanComputerInteraction UserModel ProjectMOVES ThemeHMI LVL Website SymbolicModelChecking CTL Actions SMV EpistemicLogic ProjectNASA PartialOrderReduction BoundedModelChecking ThemePOR TemporalLogic Simulation Tools Tutorial Publication Equivalences