correctness
Sign in to saveAlso known as correctness (computer science)
quality of an algorithm being correct with respect to a specification
Connections
Q15777
Entity
algorithm
Entity
integer
Entity
number theory
Entity
computer programming
Entity
mathematical proof
Entity
digital object identifier
Entity
computer security
Entity
perfect number
Entity
understanding
Entity
computer memory
Entity
software testing
Entity
lambda calculus
Entity
Tony Hoare
Entity
accuracy and precision
Entity
theoretical computer science
Entity
usability
Entity
Q22908627
Entity
formal system
Entity
halting problem
Entity