Publication | Closed Access

Using model checking to help discover mode confusions and other automation surprises

EngineeringOther Automation SurprisesFormal ModelingAutomated ReasoningAutomationKnowledge DiscoveryFormal MethodsVerificationSystems EngineeringMode ConfusionsConformance CheckingComputer ScienceModel CheckingInformation DiscoveryModel VerificationFormal Verification