About: Program analysis

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

Process of automatically analyzing the behavior of computer programs regarding a property such as correctness, robustness, safety, or liveness

Property Value
dbo:description
  • process of automatically analyzing the behavior of computer programs regarding a property such as correctness, robustness, safety, or liveness (en)
  • analis pemrogram (in)
  • процес автоматичного аналізу поведінки комп’ютерних програм щодо таких властивостей, як правильність, надійність, безпека чи динамічність (uk)
dbo:wikiPageExternalLink
dbo:wikiPageWikiLink
dbp:wikiPageUsesTemplate
dct:subject
gold:hypernym
rdfs:label
  • Program analysis (en)
  • Programmanalyse (de)
  • Ανάλυση προγράμματος (πληροφορική) (el)
  • Análisis de software (es)
  • 프로그램 분석 (ko)
  • Analiza programów (pl)
  • 程序分析 (zh)
owl:sameAs
prov:wasDerivedFrom
foaf:isPrimaryTopicOf
is dbo:academicDiscipline of
is dbo:wikiPageRedirects of
is dbo:wikiPageWikiLink of
is dbp:fields of
is owl:differentFrom 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