CVS

center-name

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

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

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


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

2004年

PS-2004-010
Hitoshi Furusawa
A framework for Kleene algebra with an embedded structure (Preliminary Version)
2004年12月 [PDF]pdf 230KB

PS-2004-009
Hitoshi Furusawa, Wolfram Kahl
Table Algebras: Algebraic Structures for Tabular Notation, Including Nested Header (Preliminary Version)
2004年12月 [PDF] pdf217KB

PS-2004-008
Toshinori Takai, Hitoshi Furusawa, Wolfram Kahl
Reasoning about Term Rewriting in Kleene Categories with Converse
2004年12月 [PDF] pdf184KB

PS-2004-007
Hitoshi Ohsaki, Toshinori Takai
ACTAS: A System Design for Associative and Commutative Tree Automata Theory
2004年7月 [PDF] pdf326KB

PS-2004-006
Toshinori Takai, Hitoshi Ohsaki
ACTAS: Associative and Commutative Tree Automata Simulator
2004年3月 [PDF] pdf68KB

PS-2004-005
Toshinori Takai
A Verification Technique Using Term Rewriting Systems and Abstract Interpretation
2004年3月 [PDF] pdf170KB

PS-2004-004
Hitoshi Furusawa
A free construction of Kleene algebras with tests
2004年3月 [PDF]pdf 126KB

PS-2004-003
Ichiro Hasuo
Modal Logics for Coalgebras ‐ A Survey
2004年2月 [PDF] pdf274KB

PS-2004-002
シンポジウム「システム検証の科学技術」予稿集
平成16年2月4〜6日 於: 大阪梅田スカイビル 2004年2月
[PDF]pdf[全編(11.5MB)または各 編]

PS-2004-001
篠崎孝一、水口大知、石井健志
組込みソフトウェア開発のイン-デザインモデル検査
2004年1月 [PDF]pdf 37KB


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