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


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

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

成果分類 題目 発表者 発表年月
 誌上発表   A Logical Framework with Dependently Typed Records   Thierry Coquand、他  2005.03 詳細
 誌上発表   Precondisions of properties described in CTL for statements manipulating pointers   田辺 良則、他  2005.03 詳細
 口頭発表   不動点付高階様相論理   岡本 圭史  2005.03 詳細
 口頭発表   BDDによる実装が可能な様相論理の充足可能性判定手続き   田辺 良則、他  2005.03 詳細
 誌上発表   Implementing Efficient Resource Management for Linear Logic
Programming 
 Pablo Lopez、他  2005.03 詳細
 口頭発表   Implementing Efficient Resource Management for Linear Logic
Programming 
 Pablo Lopez、他  2005.03 詳細
 誌上発表   ACTAS: A System Design for Associative and Commutative Tree Automata Theory
 
 大崎 人士、他  2005.03 詳細
 誌上発表   Verification of Transition System Reduction via PVS   高木 理、他  2005.02 詳細
 誌上発表   Lawvere Theories Enriched over a General Base   ジョン アンソニー パワー、他  2005.02 詳細
 口頭発表   Agda proof-assistant and systems verification   武山 誠  2005.02 詳細
 誌上発表   Reasoning about Term Rewriting in Kleene Categories with Converse   高井 利憲、他  2005.02 詳細
 口頭発表   Reasoning about Term Rewriting in Kleene Categories with Converse   高井 利憲、他  2005.02 詳細
 誌上発表   A framework for Kleene algebra with an embedded structure   古澤 仁  2005.02 詳細
 口頭発表   A framework for Kleene algebra with an embedded structure   古澤 仁  2005.02 詳細
 誌上発表   Implementing Efficient Resource Management for Linear Logic
Programming 
 Pablo Lopez、他  2005.01 詳細
 口頭発表   場の理論から見た部分構造論理   佐藤 憲太郎  2005.01 詳細
 誌上発表   組み込みソフトウェア開発におけるモデル検査の適用事例   水口 大知、他  2005.01 詳細
 誌上発表   画面遷移仕様のモデル検査   崔 銀恵、他  2005.01 詳細
 誌上発表   Webアプリケーションのクラス設計仕様に対するモデル化と検証   崔 銀恵、他  2005.01 詳細
 誌上発表   Webアプリケーションのクラス設計仕様に対するモデル化と検証   崔 銀恵、他  2005.01 詳細
 口頭発表   Webアプリケーションのクラス設計仕様に対するモデル化と検証   崔 銀恵、他  2005.01 詳細
 誌上発表   モデル検査とその適用事例の紹介   水口 大知、他  2005.01 詳細
 誌上発表   組み込みソフトウェア開発におけるモデル検査の適用事例   水口 大知、他  2005.01 詳細
 誌上発表   抽象化を用いた検証ツール   田辺 良則、他  2005.01 詳細
 誌上発表   Rondom Generators for Dependent Types   Peter Dybjer、他  2005.01 詳細
前へ  1  2  3  次へ 
問い合わせ先: aist-seikadb-ml@aist.go.jp