Correctness (computer science)

Property	Value
rdf:type	Computability and complexity topic System quality attribute owl:NamedIndividual
rdfs:label	Correctness (computer science)
owl:sameAs	dbr:Correctness_(computer_science)
prov:wasDerivedFrom	http://en.wikipedia.org/wiki/List_of_computability_and_complexity_topics http://en.wikipedia.org/wiki/Outline_of_software_engineering http://en.wikipedia.org/wiki/List_of_system_quality_attributes http://en.wikipedia.org/wiki/Reusability
skos:prefLabel	Correctness (computer science)
skos:altLabel	correctness proofs correct correctness correctness of programs Correctness Proof of correctness correctness in computer science correctness of a computer program correctness proof formal correctness incorrectness program correctness proof of correctness provably correct software correctness
is clgo:knownFor of	Li Cai (psychometrician)

About: clgr:Correctness_(computer_science)