Title

Verification of Embedded Software: from Mars to Actions

Speaker(s)

Charles Pecheur

Context

Seminar at Xerox PARC, Jul 31, 2009, derived from FMICS 2007

File(s)

pecheur-parc2009-slides

Tags: Verification, Diagnosis, Symbolic Model Checking, Epistemic Logic

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