Talks
Verification of Embedded Software: from Mars to Actions
- Title
- Verification of Embedded Software: from Mars to Actions
- Speaker(s)
- Charles Pecheur
- Context
- Invited Talk at FMICS 2007, June 1, 2007
- File(s)
- pecheur-fmics2007-slides
Tags: -
Find It
Sections
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