CVS

center-name

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

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

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


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

2005年

PS-2005-018
Hitoshi Furusawa, Eun-Hye Choi, Hiroshi Watanabe
Efficiency Analysis of Model-based Review in Actual Software Design
2005年12月[PDF] pdf185KB 

PS-2005-017
第二回システム検証の科学技術シンポジウム予稿集
2005年10月20日・21日 於:千里ライフサイエンスセンター
[PDF]pdf 全編7.2MB 

PS-2005-016
Koki Nishizawa
Algebraic Structures for Cocomplete Fibrations and Fibred CCCs
2005年9月[PDF]pdf 175KB 

PS-2005-015
関澤俊弦、高井利憲、田辺良則、高橋孝一
時相論理の充足可能性判定器のためのベンチマーク用論理式生成法(Preliminary Version)
2005年9月 [PDF] pdf201KB

PS-2005-014
高橋孝一、田辺良則、関澤俊弦
一次元セルオートマトンの有限近似解析(Preliminary Version)
2005年8月 [PDF] pdf178KB

PS-2005-013
Joe Hendrix, Hitoshi Ohsaki, and José Meseguer
Sufficient Completeness Checking with Propositional Tree Automata
2005年8月 [PDF]pdf 400KB

PS-2005-012
Koki Nishizawa, Makoto Takeyama
Algebraic Structure for a Fixed Point Logic and Abstract Interpretation
2005年6月 [PDF]pdf 223KB

PS-2005-011
Yoshinori Tanabe, Koichi Takahashi, Mitsuharu Yamamoto, Akihiko Tozawa, Masami Hagiya
A Decision Procedure for Alternation-free Two-way Modal mu-calculus
2005年6月 [PDF]pdf 287KB

PS-2005-010
Takeuti Izumi
Kleene category as a model of calculation (Preliminary Version)
2005年6月 [PDF] pdf177KB

PS-2005-009
高木理、渡邊宏、武山誠
PVSの紹介
2005年4月 [PDF]pdf 329KB

PS-2005-008
Hitoshi Ohsaki, Jean-Marc Talbot, Sophie Tison, Yves Roos
Monotone AC-Tree Automata
2005年3月 [PDF] pdf173KB

PS-2005-007
Yoshinori Tanabe, Toshinori Takai, Toshifusa Sekizawa, Koichi Takahashi
Preconditions of properties described in CTL for statements manipulating pointers (Preliminary Version)
2005年3月 [PDF] pdf130KB

PS-2005-006
O. Takaki, M. Takeyama, H. Watanabe
Verification of Transition System Reduction via PVS
2005年2月 [PDF]pdf 370KB

PS-2005-005
Koki Nishizawa and John Power
Lawvere Theories Enriched over a General Base
2005年2月 [PDF]pdf 246KB

PS-2005-004
Pablo López and Jeff Polakow
Implementing Efficient Resource Management for Linear Logic Programming (Preliminary Version)
2005年1月 [PDF] pdf285KB

PS-2005-003
崔銀惠、渡邊宏
Webアプリケーションのクラス設計仕様に対するモデル化と検証
2005年1月[PDF]pdf 855KB

PS-2005-002
崔銀惠、河本貴則、渡邊宏
画面遷移仕様のモデル検査
2005年1月 [PDF]pdf 420KB

PS-2005-001
水口大知、渡邊宏
組み込みソフトウェア開発におけるモデル検査の適用事例
2005年1月[PDF]pdf 361KB


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