Category
Verification
- Members /
- CharlesPecheur
- ChristopheLimbree
- GuillaumeMaudoux
- JoseVanderMeulen
- SebastienCombefis
- SimonBusard
- XavierGillard
- News /
- SebastienCombefisBecomesADoctor
- Publications /
- AFormalFrameworkForTheAnalysisOfHuman-MachineInteractions
- AMethodologyForAnalyzingHuman-AutomationInteractionsInFlightOperationsUsingFormalVerificationTechniques
- AutomaticDetectionOfPotentialAutomationSurprisesForADEPTModels
- FormalMethodsForIndustrialCriticalSystems18thInternationalWorkshopFMICS2013
- FormalVerificationOfAutonomyModelsFromLivingstoneToSMV
- OperationalModelIntegratingUserTasksAndEnvironmentInformationWithSystemModel
- StateEventModelsForTheFormalAnalysisOfHuman-MachineInteractions
- VerificationAndValidationAndArtificialIntelligence
- VerificationOfRailwayInterlockingSystems
- Research /
- HumanComputerInteractionVerification
- Talks /
- ASTRA2006
- FMICS2007
- MOVEStutorial2008
- PARC2009
- Tools /
- Milestones
-
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