Defined term
Logical Correctness
Logical Correctness: Condition signifying that, for a given input, a computer program will satisfy the program specification and produce the required output.
Verified
🏆 High Consensus
Election Administration
Definition
Condition signifying that, for a given input, a computer program will satisfy the program specification and produce the required output.
Alternative Definitions
- Definition 2
Condition signifying that, for a given input, a computer program will satisfy the program specification (produce the required output).
- Definition 3
A condition signifying that, for a given input, a computer program will satisfy the program specification (produce the required output). 2002 FEC A-4.
Sources
1
Glossary of Election Terms, U.S. Election Assistance Commission (EAC)
View Source2
Glossary for Voting Systems, National Institute of Standards and Technology (NIST)
View Source3
NIST Election Terminology Glossary, National Institute of Standards and Technology (NIST)
View Source4
EAC Glossary of Terms
View Source5
EAC Glossary of Election Terms
View Source6
NIST Election Glossary
View Source7
Electronic Voting Glossary
View Source