Publication | Closed Access

Improving automation software dependability: A role for formal methods?

Software MaintenanceAutomated Software EngineeringEngineeringAutomated ReasoningAutomation Software DependabilitySoftware TestingSystem SpecificationFormal MethodsSystems EngineeringSoftware EngineeringDependability AnalysisSoftware AnalysisSystem SoftwareSoftware DesignFormal Verification