SATソルバ・SMTソルバの技術と応用

DOI

書誌事項

タイトル別名
  • SAT/SMT solvers and their applications

この論文をさがす

説明

SAT/SMT solvers are currently attracting attentions as convenient backyard engines of many kinds of formal verification/analysis tools. In this article, we explain the current status of those solvers including basic concepts, technical principles, and their useful applications. Technology of SAT solver has great progress in the last decade, and the new technology called SMT solver is also emerged as an influence of them. In the article, we positions these technologies with respect to the relation of formal methods.

収録刊行物

詳細情報 詳細情報について

  • CRID
    1390282679715205760
  • NII論文ID
    130004549184
  • DOI
    10.11309/jssst.27.3_24
  • ISSN
    02896540
  • データソース種別
    • JaLC
    • CiNii Articles
  • 抄録ライセンスフラグ
    使用不可

問題の指摘

ページトップへ