Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:02918442n
Noun Concept
Categories: Formal methods terminology, Theoretical computer science, Software quality
EN
correctness
EN
In theoretical computer science, an algorithm is correct with respect to a specification if it behaves as specified. Wikipedia
English:
computer science
Definitions
Relations
Sources
EN
In theoretical computer science, an algorithm is correct with respect to a specification if it behaves as specified. Wikipedia
Quality of an algorithm being correct with respect to a specification Wikidata
The state of an algorithm that correctly mirrors its specification. OmegaWiki
Computing: state of an algorithm that correctly mirrors its specification. Wiktionary (translation)
HAS KIND
compiler correctness
thread safety
FACET OF
computer science
Wikipedia
EN
correctness (computer science)
Wikidata
EN
correctness
Wiktionary
EN
correctness
OmegaWiki
EN
correctness
Wikipedia Redirections
EN
Correct algorithm, correctness of computer programs, Formal proof of correctness, Incorrect algorithm, Partial algorithm, partial correctness, program correctness, proof of correctness, Provably correct, total correctness
Wikidata Alias
EN
correctness (computer science)

Please note that, in order to improve your browsing experience on this website, BabelNet® uses various types of cookies, including: browsing functionality, performance and statistical cookies.

By continuing to browse the site you are agreeing to our use of cookies. OK

License