14:00 〜 14:20
[4F3-OS-8b-01] SATソルバを利用した分散アルゴリズムの検証・テスト
キーワード：充足可能性、有界モデル検査、分散アルゴリズム
分散アルゴリズムは，処理の並行性や通信やプロセスの故障という無数のシナリオを考慮する必要があるため，正しく設計することが困難である．本発表では，有界モデル検査等のSATソルバを利用した検証手法によって，分散アルゴリズムのバグを検出する簡易的な手法を提案する．いくつかのアルゴリズムについて適用結果を示す．
講演PDFパスワード認証
論文PDFの閲覧にはログインが必要です。参加登録者の方は「参加者用ログイン」画面からログインしてください。あるいは論文PDF閲覧用のパスワードを以下にご入力ください。