Data Table
PropertyValue
dbpedia-owl:abstract
  • モデル検査(Model Checking)とは、形式システムをアルゴリズム的に検証する手法である。ハードウェアやソフトウェアの設計から導出されたモデルが形式仕様を満足するかどうか検証する。仕様は時相論理の論理式の形式で記述することが多い。
dbpedia-owl:wikiPageExternalLink
dbpedia-owl:wikiPageID
  • 801287 (xsd:integer)
dbpedia-owl:wikiPageLength
  • 6074 (xsd:integer)
dbpedia-owl:wikiPageOutDegree
  • 38 (xsd:integer)
dbpedia-owl:wikiPageRevisionID
  • 47227802 (xsd:integer)
dbpedia-owl:wikiPageWikiLink
prop-ja:wikiPageUsesTemplate
dcterms:subject
rdfs:comment
  • モデル検査(Model Checking)とは、形式システムをアルゴリズム的に検証する手法である。ハードウェアやソフトウェアの設計から導出されたモデルが形式仕様を満足するかどうか検証する。仕様は時相論理の論理式の形式で記述することが多い。
rdfs:label
  • モデル検査
owl:sameAs
prov:wasDerivedFrom
foaf:isPrimaryTopicOf
is dbpedia-owl:wikiPageWikiLink of
is foaf:primaryTopic of