SAT-Based System Verification(<Special Issue>Recent Advances in SAT Techniques)

• BANBARA Mutsunori

  Information Science and Technology Center, Kobe University

• TAMURA Naoyuki

  Information Science and Technology Center, Kobe University

Bibliographic Information

Other Title

• SATによるシステム検証(<特集>最近のSAT技術の発展)
• SATによるシステム検証
• SAT ニ ヨル システム ケンショウ

Journal

• Journal of the Japanese Society for Artificial Intelligence

  Journal of the Japanese Society for Artificial Intelligence 25 (1), 122-129, 2010-01-01

  The Japanese Society for Artificial Intelligence

Keywords

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

Details

• CRID: 1390285697603846016
• NII Article ID: 110007504960
• NII Book ID: AN10067140
• DOI: 10.11517/jjsai.25.1_122
• ISSN: 24358614
• ISSN: 21882266
• ISSN: 09128085
• HANDLE: 20.500.14094/90001267
• NDL BIB ID: 10547162
• Web Site: https://ndlsearch.ndl.go.jp/books/R000000004-I10547162
• Text Lang: ja
• Data Source:
  • JaLC
  • IRDB
  • NDL
  • CiNii Articles
  • KAKEN