Publication | Closed Access

A complete logic for reasoning about programs via nonstandard model theory I

ReasoningApplied LogicComputational LogicEngineeringAutomated ReasoningComplete LogicVerificationNonmonotonic LogicFormal MethodsModel AbstractionNonstandard Model TheorySoftware AnalysisLogic ProgrammingFormal Verification