AIST

center-name

 Research Highlights | Technical Reports | CVS Staff | Access | Inquiry | Home | AIST | Japanese

Programming Science Technical Report

Please contact us if you have any questions regarding the technical report(s) below by email.
TO: mail


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)
Dec. 2004 [pdf] 230KB

PS-2004-009
Hitoshi Furusawa, Wolfram Kahl
Table Algebras: Algebraic Structures for Tabular Notation, Including Nested Header (Preliminary Version)
Dec. 2004 [pdf] 217KB

PS-2004-008
Toshinori Takai, Hitoshi Furusawa, Wolfram Kahl
Reasoning about Term Rewriting in Kleene Categories with Converse
Dec. 2004 [pdf] 184KB

PS-2004-007
Hitoshi Ohsaki, Toshinori Takai
ACTAS: A System Design for Associative and Commutative Tree Automata Theory
Jul. 2004 [pdf] 326KB

PS-2004-006
Toshinori Takai, Hitoshi Ohsaki
ACTAS: Associative and Commutative Tree Automata Simulator
Mar. 2004 [pdf] 68KB

PS-2004-005
Toshinori Takai
A Verification Technique Using Term Rewriting Systems and Abstract Interpretation
Mar. 2004 [pdf] 170KB

PS-2004-004
Hitoshi Furusawa
A free construction of Kleene algebras with tests
Mar. 2004 [pdf] 126KB

PS-2004-003
Ichiro Hasuo
Modal Logics for Coalgebras − A Survey
Feb. 2004 [pdf] 274KB

PS-2004-002
Proceedings of the 1st Symposium on Science Techonology for System Verification
Feb. 2004 [pdf] 11.5MB

PS-2004-001
Koichi Shinozaki, Daichi Mizuguchi,Takeshi Ishii
In-Design Model Checking for Embedded Software - A Proposal of Model Checking for Specification in Design process -
Jan. 2004 [pdf] 37KB

AIST > AIST organization > AIST laboratories > CVS
Copyrights (C) 2005-2010 AIST Research Center for Verification and Semantics, All Rights Reserved.