CVS

center-name

AIST
 センター長挨拶Policy Statement研究テーマ研究活動研究成果Technical Reports書籍共同研究集会支援English
 研修コース ・ニュースレター ・CVS Staff ・アクセス 採用情報  ・お問い合わせ ・更新履歴 ・プレスリリース ・カレンダーHOME 

算譜科学研究速報 (テクニカルレポート)

CVSでは、テクニカルレポートの他、書籍も出版しております。こちらもご覧ください。


 2010年   2009年   2008年   2006年   2005年   2004年   2003年   2002年   2001年

2007年

PS-2007-010
高井利憲、古澤隆宏、尾崎弘幸、大崎人士
環境ドライバを用いたモデル検査による検証事例
2007年10月[PDF]pdf 269KB

PS-2007-009
Koki Nishizawa
Algebraic Structure for a modal fixed point logic and abstract interpretation
2007年7月[PDF]pdf 581KB

PS-2007-008
山形頼之、斎藤正也
ソフトウェア更新システムのモデル検査によるセキュリティ
2007年7月[PDF]pdf 161KB

PS-2007-007
システム検証研究センター
2006年度(平成18年度)研究報告集
2007年7月[PDF]pdf 5.59MB

PS-2007-006
吉田聡、山形頼之
ソフトウェア更新システムプロトコルの BAN Logic による安全性検証(Preliminary Version)
2007年6月[PDF]pdf 224KB

PS-2007-005
Koki Nishizawa, Yukiyoshi Kameyama, and Yoshiki Kinoshita
Simulations of Multi-Valued Models for Modal μ-Calculus
2007年4月[PDF]pdf 328KB

PS-2007-004
Toshifusa Sekizawa, Yoshinori Tanabe, Yoshifumi Yuasa, and Koichi Takahashi
MLAT: Modal Logic Abstraction Tool
2007年2月[PDF] pdf 160KB

PS-2007-003
Toshifusa Sekizawa, Toshinori Takai, Yoshinori Tanabe, and Koichi Takahashi
A Method to Generate Formulae for Temporal Logic Satisfiability Checkers
2007年2月[PDF]pdf 229KB

PS-2007-002
高村博紀
Semisimplicity, EDPC and discriminator varieties of modal FLew-algebras (Preliminary Version)
2007年2月[PDF] pdf 185KB

PS-2007-001
Satoru Yoshida
A note on the weak topology for the constructive completion of the space D(R)
2007年2月[PDF]pdf 170KB


産総研ホーム > 組織 > 研究センター > システム検証研究センター
Copyrights (C) 2005-2010 AIST Research Center for Verification and Semantics, All Rights Reserved.