Publication | Closed Access

Is ?some-other-time? sometimes better than ?sometime? for proving partial correctness of programs?

ReasoningPartial CorrectnessProgram CheckingEngineeringAutomated ReasoningProgram AnalysisSoftware TestingVerificationFormal MethodsSoftware VerificationSoftware EngineeringProof AssistantAutomated ProofFormal TechniqueComputer ScienceSoftware AnalysisSystem SoftwareFormal Verification