About: Formal verification

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

Act of proving or disproving the correctness of intended algorithms

Property Value
dbo:description
  • σελίδα αποσαφήνισης εγχειρημάτων Wikimedia (el)
  • acte de demostrar o refutar la correcció dels algorismes previstos (ca)
  • act of proving or disproving the correctness of intended algorithms (en)
dbo:wikiPageWikiLink
dbp:wikiPageUsesTemplate
dct:subject
gold:hypernym
rdf:type
rdfs:label
  • Formal verification (en)
  • Formální verifikace (cs)
  • Τυπική επαλήθευση (el)
  • Egiaztapen formala (informatika) (eu)
  • Verificación formal (es)
  • Verifica formale (it)
  • Vérification formelle (fr)
  • 形式的検証 (ja)
  • Weryfikacja formalna (pl)
  • Verificação formal (pt)
  • Формальная верификация (ru)
  • Формальна верифікація (uk)
  • Formell verifiering (sv)
  • 形式验证 (zh)
owl:differentFrom
owl:sameAs
prov:wasDerivedFrom
foaf:isPrimaryTopicOf
is dbo:academicDiscipline of
is dbo:genre of
is dbo:knownFor of
is dbo:mainInterest of
is dbo:wikiPageDisambiguates of
is dbo:wikiPageRedirects of
is dbo:wikiPageWikiLink of
is dbp:fields of
is dbp:genre of
is dbp:knownFor of
is dbp:mainInterests of
is foaf:primaryTopic of
Powered by OpenLink Virtuoso    This material is Open Knowledge     W3C Semantic Web Technology     This material is Open Knowledge    Valid XHTML + RDFa
This content was extracted from Wikipedia and is licensed under the Creative Commons Attribution-ShareAlike 4.0 International