RRPDB_REPOSITORY_J
研究成果発表データベース
検索画面


検索キー 年度=2007 発表者名, 所属部署名=システム検証研究

検索結果 (62件HIT)
前へ  1  2  3  次へ 

成果分類 題目 発表者 発表年月
 口頭発表   様相論理の証明支援系上の実装   矢田部 俊介  2008.03 詳細
 口頭発表   再帰的定義を可能にする述語論理の証明支援系上の実装   矢田部 俊介  2008.03 詳細
 誌上発表   フォーマルメソッドのフィールドワーク   木下 佳樹、他  2008.03 詳細
 口頭発表   複数の始点および終点を持つワークフローの正当性の検証   高木 理、他  2008.03 詳細
 口頭発表   第9章 フィールドワーク7   岡本 圭史、他  2008.03 詳細
 口頭発表   A Case Study: Analyzing the One Dimensional Ising Model by Probabilistic Model Checking   関澤 俊弦、他  2008.03 詳細
 誌上発表   図示記法表現とLTL論理式   吉田 聡、他  2008.03 詳細
 口頭発表   図示記法表現とLTL論理式   吉田 聡、他  2008.03 詳細
 誌上発表   Modal mu-calculus on min-plus algebra N-infinity   五十嵐大、他  2008.03 詳細
 口頭発表   Modal mu-calculus on min-plus algebra N-infinity   五十嵐大、他  2008.03 詳細
 誌上発表   Teaching Software Model Checking   Artho Cyrille、他  2008.03 詳細
 口頭発表   On an arithmetic in a set theory within fuzzy logic   矢田部 俊介  2008.02 詳細
 誌上発表   車載コンビネーションメータの事例(1),(2)   小池憲史、他  2008.02 詳細
 誌上発表   MLAT: An Application for Heap Analysis Based on Predicate Abstraction by Modal Logic    関澤 俊弦、他  2008.02 詳細
 口頭発表   MLAT: An Application for Heap Analysis Based on Predicate Abstraction by Modal Logic    関澤 俊弦、他  2008.02 詳細
 誌上発表   システム検証の事例報告集 2007年度版   事例報告DB班、他  2008.01 詳細
 誌上発表   システム検証の事例報告集の作成   渡邊 宏、他  2008.01 詳細
 口頭発表   様相演算子の付随した部分構造論理とその代数構造に関する考察   高村 博紀  2007.12 詳細
 誌上発表   単口木オートマトンの決定化について   古澤仁、他  2007.12 詳細
 口頭発表   単口木オートマトンの決定化について   古澤仁、他  2007.12 詳細
 誌上発表   Hiding backtracking operations in software model checking from the environment   Artho Cyrille、他  2007.12 詳細
 誌上発表   Computational Semantics for Basic Protocol Logic - A Stochastic Approach   Gergely Bana、他  2007.12 詳細
 誌上発表   BAN論理からProtocol Composition Logicへ ~ セキュリティプロトコルの論理的検証法   長谷部 浩二、他  2007.12 詳細
 口頭発表   モデル検査のフィールドワーク   高井 利憲  2007.11 詳細
 口頭発表   Agda-IVEの実用問題への適用   加藤 紀夫  2007.11 詳細
前へ  1  2  3  次へ 
問い合わせ先: aist-seikadb-ml@aist.go.jp