Category

Model Checking

Members /
: Hossein
: SebastienCombefis
Publications /
: ABisimulation-BasedApproachToTheAnalysisOfHuman-ComputerInteraction
: ApplicationsOfModelCheckingForMulti-agentSystemsVerificationOfDiagnosabilityAndRecoverability
: AutomaticVerificationOfKnowledgeAndTimeWithNuSMV
: CombiningPartialOrderReductionWithBoundedModelChecking
: CombiningPartialOrderReductionWithSymbolicModelChecking
: VerificationOfRailwayInterlocking-CompositionalApproachWithOCRA
: VerificationOfRailwayInterlockingSystems
Talks /
: ASTRA2006
: Dagstuhl2006
: EICS2009
: MOVEStutorial2008
Tools /
: InterlockingModel
: LTSADelforge

Find It