09:00 〜 09:20
[4R1-OS-13-01] （OS招待講演）テスト・検証・信頼性評価とSAT/BDD
キーワード：充足可能問題、2分決定グラフ、信頼性評価、テスト、検証
発表者の研究室で取り組んでいるSATおよびBDDの応用について説明する．具体的に取り上げるテーマは，組み合わせデザインに基づくソフトウェアテストの設計，モデル検査という自動検証，および，確率的フォールトリー解析による信頼性評価である．これらの課題において，どのようにSATやBDDを応用しているか概説し，今後の研究の可能性について議論する．
講演PDFパスワード認証
論文PDFの閲覧にはログインが必要です。参加登録者の方は「参加者用ログイン」画面からログインしてください。あるいは論文PDF閲覧用のパスワードを以下にご入力ください。