About: Correctness (computer science)

Property	Value
dbo:description	egy algoritmusra vonatkozóan, valamely specifikáció szempontjából (hu) يتم تأكيد صحة الخوارزمية عندما يُقال إن الخوارزمية صحيحة فيما يتعلق بالمواصفات. تشير الدقة الوظيفية إلى سلوك المدخلات والمخرجات للخوارزمية (أي لكل إدخال ينتج عنه الناتج المتوقع) (ar) quality of an algorithm being correct with respect to a specification (en)
dbo:wikiPageExternalLink	https://stanford.library.sydney.edu.au/entries/computer-science/ https://www.coopertoons.com/education/haltingproblem/haltingproblem.html https://books.google.com/books%3Fid=6YAXDQAAQBAJ&printsec=frontcover%23v=onepage&q=correctness&f=false https://books.google.com/books%3Fid=l5FZxDY3yi0C&printsec=frontcover%23v=onepage&q=correctness&f=false
dbo:wikiPageWikiLink	dbr:Model_checking dbr:Computer_memory dbc:Software_quality dbr:Lambda_calculus dbr:Integer dbr:Mathematical_proof dbr:Number_theory dbr:Proof_theory dbr:Program_analysis dbr:Formal_system dbr:Design_by_contract dbr:Halting_problem dbr:Program_derivation dbr:Algorithm dbc:Theoretical_computer_science dbr:Constructive_logic dbr:Theoretical_computer_science dbr:C_(programming_language) dbc:Formal_methods_terminology dbr:Software_testing dbr:Hoare_logic dbr:Undecidable_problem dbr:Formal_verification dbr:Perfect_number dbr:Curry–Howard_correspondence dbr:Compiler_correctness dbr:Termination_proof dbr:Deep_result dbr:Program_specification
dbp:wikiPageUsesTemplate	dbt:Reflist dbt:Use_dmy_dates dbt:Software_quality dbt:Short_description
dct:subject	dbc:Software_quality dbc:Theoretical_computer_science dbc:Formal_methods_terminology
rdfs:label	Correctness (computer science) (en) Korrektheit (Informatik) (de) Correctitud (es) Correction d'un algorithme (fr) 正当性 (計算機科学) (ja) Poprawność całkowita (pl) Corretude (lógica) (pt) 正确性 (计算机科学) (zh)
owl:sameAs	yago-res:Correctness (computer science) freebase:Correctness (computer science) wikidata:Correctness (computer science) dbpedia-de:Correctness (computer science) dbpedia-fr:Correctness (computer science) dbpedia-zh:Correctness (computer science) dbpedia-ja:Correctness (computer science) dbpedia-pt:Correctness (computer science) dbpedia-es:Correctness (computer science) dbpedia-hu:Correctness (computer science) dbpedia-fa:Correctness (computer science) dbpedia-pl:Correctness (computer science) dbpedia-global:Correctness (computer science) dbr:Correctness (computer science)
prov:wasDerivedFrom	wikipedia-en:Correctness_(computer_science)?oldid=1280475919&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Correctness_(computer_science)
is dbo:knownFor of	dbr:Li_Cai_(psychometrician)
is dbo:wikiPageDisambiguates of	dbr:Correctness
is dbo:wikiPageRedirects of	dbr:Correctness_of_computer_programs dbr:Formal_proof_of_correctness dbr:Partial_algorithm dbr:Partial_correctness dbr:Program_correctness dbr:Proof_of_correctness dbr:Provably_correct dbr:Total_correctness
is dbo:wikiPageWikiLink of	dbr:Model_checking dbr:List_of_computability_and_complexity_topics dbr:Distributed_constraint_optimization dbr:Data_integrity dbr:Whitfield_Diffie dbr:Network_Time_Protocol dbr:Formal_specification dbr:Formal_methods dbr:Satisfiability_modulo_theories dbr:Starvation_(computer_science) dbr:Margaret_Hamilton_(software_engineer) dbr:Type_qualifier dbr:Tony_Hoare dbr:Pattern_recognition dbr:Computer-aided_software_engineering dbr:Reusability dbr:Constant_(computer_programming) dbr:Alloy_(specification_language) dbr:Lamport's_bakery_algorithm dbr:Correctness dbr:Refinement_(computing) dbr:Key_exchange dbr:Design_by_contract dbr:Distributed_transaction dbr:Fail-stop dbr:Halting_problem dbr:Liskov_substitution_principle dbr:Presburger_arithmetic dbr:Outline_of_software_engineering dbr:Program_derivation dbr:Algorithm dbr:Computer_security dbr:Mathematical_induction dbr:Las_Vegas_algorithm dbr:Ehud_Shapiro dbr:Computer_engineering_compendium dbr:Computer_science dbr:Invariant_(mathematics) dbr:Software_testing dbr:Loop_variant dbr:Sardinas–Patterson_algorithm dbr:Formal_verification dbr:Prototype-based_programming dbr:Regression_testing dbr:Loop_invariant dbr:Berlekamp–Rabin_algorithm dbr:Decision_Linear_assumption dbr:Referential_transparency dbr:Compiler_correctness dbr:Security-focused_operating_system dbr:List_of_computer_scientists dbr:Artifact_(software_development) dbr:Software_verification dbr:Outline_of_computer_programming dbr:List_of_system_quality_attributes dbr:Algorithmic_program_debugging dbr:Concurrent_hash_table dbr:Numerical_certification dbr:Li_Cai_(psychometrician) dbr:Correctness_of_computer_programs dbr:Formal_proof_of_correctness dbr:Partial_algorithm dbr:Partial_correctness dbr:Program_correctness dbr:Proof_of_correctness dbr:Provably_correct dbr:Total_correctness
is foaf:primaryTopic of	wikipedia-en:Correctness_(computer_science)