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


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

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

成果分類 題目 発表者 発表年月
 口頭発表   Simulations of Multi-Valued Models for Modal mu-Calculus   西澤 弘毅、他  2007.03 詳細
 口頭発表   Simulations of Multi-Valued Models for Modal mu-Calculus   西澤 弘毅、他  2007.03 詳細
 口頭発表   組込み機器向け時計の不具合解析   高井 利憲  2007.03 詳細
 口頭発表   A sequent calculus for Limit Computable Mathematics   ステファノ ベラルディ、他  2007.03 詳細
 口頭発表   ポインタを扱うプログラムの様相μ計算を利用した検証に向けて   田辺 良則、他  2007.03 詳細
 誌上発表   数学と論理学   竹内 泉  2007.02 詳細
 口頭発表   Monodic tree automaton   高井 利憲  2007.02 詳細
 口頭発表   形式手法の概要   水口 大知  2007.02 詳細
 誌上発表   MLAT: Modal Logic Abstraction Tool   関澤 俊弦、他  2007.02 詳細
 誌上発表   A Method to Generate Formulae for Temporal Logic Satisfiability Checkers   関澤 俊弦、他  2007.02 詳細
 誌上発表   A note on the weak topology for the completion of the space D(R)    吉田 聡  2007.02 詳細
 誌上発表   Semisimplicity, EDPC and discriminator varieties
of modal ${\bf FL}_{ew}$-algebras 
 高村 博紀  2007.02 詳細
 誌上発表   On Embedding a Qualitative Representation in a Two-Dimensional Plane   高橋 和子、他  2007.01 詳細
 口頭発表   On Embedding a Qualitative Representation in a Two-Dimensional Plane   高橋 和子、他  2007.01 詳細
 誌上発表   伝聞の論理   竹内 泉  2007.01 詳細
 誌上発表   Weak Typed B"ohm Theorem on IMLL   松岡 聡  2007.01 詳細
 口頭発表   A note on the weak topology for the completion of the space D(R)   吉田 聡  2006.12 詳細
 著書・刊行物   モデル検査で状態爆発をいかに抑えるか   高橋 孝一  2006.12 詳細
 誌上発表   YAMPII・P2P層の実装およびモデル検査   齋藤 正也、他  2006.12 詳細
 口頭発表   YAMPII・P2P層の実装およびモデル検査   齋藤 正也、他  2006.12 詳細
 口頭発表   述語様相μ計算について(2)   岡本 圭史  2006.12 詳細
 口頭発表   Formal Verification in an First-Order Extension of Modal $\mu$-calculus   岡本 圭史  2006.12 詳細
 口頭発表   Model Checking a Modular-Structured Nonblocking Atomic Commitment Protocol for Asynchronous Distributed Systems
 
 崔 銀惠、他  2006.12 詳細
 口頭発表   Introducing CVS's Verification Research Projects   木下 佳樹  2006.12 詳細
 口頭発表   Secure Protocol Composition with Basic Protocol Logic   長谷部 浩二、他  2006.12 詳細
前へ  1  2  3  4  次へ 
問い合わせ先: aist-seikadb-ml@aist.go.jp