EntityQ360812· pop 14· linked from 126 articlescorrectnessSign in to savequality of an algorithm being correct with respect to a specificationConnectionsQ15777EntityalgorithmEntityintegerEntitynumber theoryEntitycomputer programmingEntitymathematical proofEntitydigital object identifierEntitycomputer securityEntityperfect numberEntityunderstandingEntitycomputer memoryEntitysoftware testingEntitylambda calculusEntityTony HoareEntityaccuracy and precisionEntitytheoretical computer scienceEntityusabilityEntityQ22908627Entityformal systemEntityhalting problemEntityCategoriesFormal methods terminologySoftware qualityTheoretical computer science