Publication | Closed Access

Verifying expert systems: A logical framework and a practical tool

EngineeringAutomated ReasoningExpert SystemsSoftware TestingVerificationMechanical VerificationFormal MethodsComputer-aided VerificationSystems EngineeringModel VerificationComputer ScienceModel CheckingFormal VerificationSoftware AnalysisSoftware Verification