About: Model checking

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia-live.demo.openlinksw.com

Verifying whether a finite-state model meets a given specification

thumbnail
Property Value
dbo:description
  • verificar si un model d'estat finit compleix una especificació determinada (ca)
  • 有限状態モデルがある仕様を満たすかを検証すること (ja)
  • Verifikation einer Systembeschreibung gegen eine Spezifikation (de)
  • verifying whether a finite-state model meets a given specification (en)
dbo:thumbnail
dbo:wikiPageExternalLink
dbo:wikiPageWikiLink
dbp:wikiPageUsesTemplate
dct:subject
rdfs:label
  • Model checking (en)
  • Έλεγχος μοντέλων (el)
  • Model Checking (de)
  • Verificación de modelos (es)
  • Vérification de modèles (fr)
  • モデル検査 (ja)
  • Model checking (it)
  • Verificação de modelos (pt)
  • Проверка моделей (ru)
  • Перевірка моделі (uk)
owl:sameAs
prov:wasDerivedFrom
foaf:depiction
foaf:isPrimaryTopicOf
is dbo:academicDiscipline of
is dbo:genre of
is dbo:knownFor of
is dbo:nonFictionSubject of
is dbo:wikiPageRedirects of
is dbo:wikiPageWikiLink of
is dbp:field of
is dbp:fields of
is dbp:genre of
is dbp:knownFor 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