About: Formal methods

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

Mathematical program specification intended to allow correctness proofs, including algorithmically

Property Value
dbo:description
  • insieme di tecniche matematicamente rigorose per la specifica, sviluppo e verifica di sistemi software e hardware (it)
  • mathematical program specification intended to allow correctness proofs, including algorithmically (en)
  • специфікація математичної програми, техніка математичних міркувань, призначена для підтвердження правильності, в тому числі алгоритмічно (uk)
  • techniques de raisonnement mathématique sur des programmes ou du matériel informatique (fr)
dbo:wikiPageExternalLink
dbo:wikiPageWikiLink
dbp:bot
  • InternetArchiveBot (en)
dbp:date
  • 2012-06-08 (xsd:date)
  • November 2022 (en)
dbp:fixAttempted
  • yes (en)
dbp:url
dbp:wikiPageUsesTemplate
dct:subject
gold:hypernym
rdfs:label
  • Formal methods (en)
  • طريقة شكلية (ar)
  • Metodo formalak (eu)
  • Formale Methode (de)
  • Método formal (es)
  • Metode formal (in)
  • Metodi formali (it)
  • Méthode formelle (informatique) (fr)
  • 形式手法 (ja)
  • 정형 기법 (ko)
  • Formele methoden (nl)
  • Metody formalne (pl)
  • Формальные методы (ru)
  • Métodos formais (pt)
  • Формальні методи (uk)
  • Formella metoder (sv)
  • 形式化方法 (zh)
owl:sameAs
prov:wasDerivedFrom
foaf:isPrimaryTopicOf
is dbo:academicDiscipline of
is dbo:knownFor of
is dbo:namedAfter of
is dbo:nonFictionSubject of
is dbo:wikiPageDisambiguates of
is dbo:wikiPageRedirects of
is dbo:wikiPageWikiLink of
is dbp:area of
is dbp:discipline of
is dbp:field of
is dbp:fields of
is dbp:knownFor of
is dbp:methods of
is dbp:namedAfter of
is dbp:subDiscipline of
is dbp:subject 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