Created by pecheur, at September 08, 2010, at 07:32 AM

The LVL team welcomes new researcher Simon Busard.

Simon joins LVL after graduating as an Engineer in Computer Science last June. His research, following his master thesis, concerns the enrichment of diagnostic information in symbolic model checking.

Tags: LVL, Symbolic Model Checking

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