Logical correctness

Condition signifying that, for a given input, a computer program will satisfy the program specification and produce the required output.

Source: National Institute of Standards and Technology (NIST), https://pages.nist.gov/ElectionGlossary/; Glossary of terms database, U.S. Election Assistance Commission, https://www.eac.gov/glossary/