Con el nombre Model checking se conoce a un método automático de verificación de un sistema formal, en la mayoría de las ocasiones derivado del hardware o del software de un sistema informático. El sistema es descrito mediante un modelo, que debe satisfacer una especificación formal descrita mediante una fórmula, a menudo escrita en alguna variedad de lógica temporal.

rdfs:comment
  • Con el nombre Model checking se conoce a un método automático de verificación de un sistema formal, en la mayoría de las ocasiones derivado del hardware o del software de un sistema informático. El sistema es descrito mediante un modelo, que debe satisfacer una especificación formal descrita mediante una fórmula, a menudo escrita en alguna variedad de lógica temporal. (es)
foaf:isPrimaryTopicOf
rdfs:label
  • Model checking (es)
Is foaf:primaryTopic of
prov:wasDerivedFrom
dbpedia-owl:wikiPageID
  • 5829808 (xsd:integer)
dbpedia-owl:wikiPageLength
  • 40 (xsd:integer)
dbpedia-owl:wikiPageOutDegree
  • 1 (xsd:integer)
dbpedia-owl:wikiPageRedirects
dbpedia-owl:wikiPageRevisionID
  • 66927144 (xsd:integer)
dbpedia-owl:wikiPageWikiLink
Is dbpedia-owl:wikiPageWikiLink of [11 values]