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     2004     2002     2001     

2003

PS-2003-007
Yoshinori Tanabe, Toshinori Takai, Koichi Takahashi
Survey on Verification Tools Using Abstraction (in Japanese)
Dec. 2003 [pdf] 566KB

PS-2003-006
Hitoshi Furusawa
The Categories of Kleene Algebras, Action Algebras and Action Lattices are Related by Adjunctions
Jun. 2003

PS03-005
Koji Hayamizu, Koichi Shinozaki, Koichi Takahashi, Hiroshi Watanabe
Verification of specification of telemetering system by using model checker (in Japanese)
Jun. 2003 [pdf](82KB) Telemetering system: System specification [pdf] (31KB) Telemetering system: Modeling and coding of specification [pdf] (223KB) Telemetering system: Verification properties and results of checking [pdf] (87KB)

PS-2003-004
Yoshiki Kinoshita
Methodology for Second-Sort Basic Research (in Japanese)
Mar. 2003 [pdf] 62KB

PS-2003-003
Hitoshi Osaki, Yoshiki Kinoshita, Toshinori Takai, Koichi Takahashi
TR03-003
Mar. 2003

PS-2003-002
Yoshiki Kinoshita
Information industry and system verification (in Japanese)
Feb. 2003 [pdf] 161KB

PS-2003-001
Hitoshi Ohsaki, Hiroyuki Seki, Toshinori Takai
Recognizable A-Tree Languages are Boolean Closed
Jan. 2003 [pdf] 345KB

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