CVS

center-name

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

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

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


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

2008年

Number Auther / Title Date PDF

PS-2008-017 Satoru Yoshida 12月 pdf261KB
Sequential continuity and boundedness of generalized functions in constructive mathematics (Preliminary Version)

PS-2008-016 システム検証研究センター 12月 pdf4.6MB
第6回ディペンダブルシステムワークショップ(DSW2008)論文集

PS-2008-015 システム検証研究センター 11月  
モデル検査研修コース中級編

PS-2008-014 木下佳樹 9月 pdf204KB
Agda言語について
* 日本ソフトウェア科学会第25回大会(2008年度)論文集

PS-2008-013 Hideaki Nishihara, Koichi Shinozaki, Koji Hayamizu, Toshiaki Aoki, Kenji Taguchi, Fumihiro Kumeno 8月 pdf140KB
Model checking education for software engineers in Japan (Preliminary Version)

PS-2008-012 青木利晃、粂野文洋、木下佳樹、篠崎孝一、高木理、高村博紀、田口研治、中原早生、西原秀明、早水公二、本位田真一、渡邊宏 8月 pdf226KB
モデル検査の教育プログラム構築に向けて

PS-2008-011 Hiroki Takamura 8月 pdf173KB
Powers of positive elements in constructive C *-algebras

PS-2008-010 Yoshinori Tanabe, Koichi Takahashi, Masami Hagiya 4月 pdf260KB
A Decision Procedure for Alternation-free Modal μ-calculi
* Advances in Modal Logic 2008

PS-2008-009 Yoshinori Tanabe, Toshifusa Sekizawa, Yoshifumi Yuasa, Koichi Takahashi 4月 pdf234KB
Pre- and Post-conditions Expressed in Variants of the Modal μ-calculus

PS-2008-008 木下佳樹、高井利憲 3月 pdf299KB
フォーマルメソッドのフィールドワーク
* 「情報処理」 Vol.49, No.5 p9-15

PS-2008-007 矢田部俊介 3月 pdf220KB
再帰的定義を可能にする述語論理の証明支援系上の実装 (Preliminary Version)

PS-2008-006 システム検証研究センター 3月 pdf 5.44MB pdf正誤表(66.5KB)
2007年度(平成19年度)研究報告集

PS-2008-005 吉田聡、竹内泉、小池憲史、大崎人士 2月 pdf2.39MB
pdf正誤表 (221KB)
図示記法表現とLTL論理式
 * 第10回プログラミングおよびプログラミング言語ワークショップ論文集 (PPL 2008) p204-215

PS-2008-004 小池憲史、吉田聡、大崎人士 2月 pdf359KB
LTLモデル検査のための図示記法
* 第14回ソフトウェア工学の基礎ワークショップ予稿集 (FOSE 2007) p.35-44

PS-2008-003 システム検証研究センター 1月 pdf1.32MB
システム検証の事例報告集 2007年度版

PS-2008-002 システム検証研究センター 1月 pdf 5.93MB
第四回システム検証の科学技術シンポジウム講演論文集

PS-2008-001 システム検証研究センター 1月  
モデル検査研修コース中級編(Draft版)


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