2025年度 人工知能学会全国大会（第39回）
2025年5月27日〜5月30日大阪国際会議場＋オンライン
2025年度 人工知能学会全国大会（第39回）
2025年5月27日〜5月30日大阪国際会議場＋オンライン
[4R1-OS-13-01]（OS招待講演）テスト・検証・信頼性評価とSAT/BDD
〇土屋 達弘1(1. 大阪大学)
キーワード：
充足可能問題、2分決定グラフ、信頼性評価、テスト、検証
発表者の研究室で取り組んでいるSATおよびBDDの応用について説明する．具体的に取り上げるテーマは，組み合わせデザインに基づくソフトウェアテストの設計，モデル検査という自動検証，および，確率的フォールトリー解析による信頼性評価である．これらの課題において，どのようにSATやBDDを応用しているか概説し，今後の研究の可能性について議論する．