SATによるシステム検証(<特集>最近のSAT技術の発展)

• 番原 睦則

  神戸大学学術情報基盤センター

• 田村 直之

  神戸大学学術情報基盤センター

書誌事項

タイトル別名

• SAT-Based System Verification(<Special Issue>Recent Advances in SAT Techniques)
• SATによるシステム検証
• SAT ニ ヨル システム ケンショウ

収録刊行物

• 人工知能

  人工知能 25 (1), 122-129, 2010-01-01

  一般社団法人 人工知能学会

キーワード

• SAT
• bounded model checking
• combinatorial testing
• covering arrays

詳細情報

• CRID: 1390285697603846016
• NII論文ID: 110007504960
• NII書誌ID: AN10067140
• DOI: 10.11517/jjsai.25.1_122
• ISSN: 24358614
• ISSN: 21882266
• ISSN: 09128085
• HANDLE: 20.500.14094/90001267
• NDL書誌ID: 10547162
• Web Site: https://ndlsearch.ndl.go.jp/books/R000000004-I10547162
• 本文言語コード: ja
• データソース種別:
  • JaLC
  • IRDB
  • NDL
  • CiNii Articles
  • KAKEN