Publication | Closed Access

A logic covering undefinedness in program proofs

EngineeringAutomated ReasoningProof ComplexityVerificationFormal MethodsSoftware AnalysisAutomated ProofComputer ScienceProof SystemFormal VerificationProgram Proofs