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      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
Dec. 2006 [pdf] 185KB

PS-2005-017
Proceedings of the Second Symposium on Science and Technology for System Verification (in japanese)
Oct. 2005 ーpdf] 7.2MB

PS-2005-016
Koki Nishizawa
Algebraic Structures for Cocomplete Fibrations and Fibred CCCs
Sep. 2005 [pdf] 175KB

PS-2005-015
Toshifusa Skizawa, Toshinori Takai, Yoshinori Tanabe, Koichi Takahashi
A method to generate benchmark fomulae for temporal logic satisfiability chekers (Preliminary Version) (in japanese)
Sep. 2005 [pdf] 201KB

PS-2005-014
Koichi Takahashi, Yoshinori Tanabe, Toshifusa Sekizawa
Finite Approximation Analysis of One Dimensional Cellular Automata (Preliminary Version) (in japanese)
Aug. 2005 [pdf] 178KB

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

PS-2005-012
Koki Nishizawa, Makoto Takeyama
Algebraic Structure for a Fixed Point Logic and Abstract Interpretation
Jun. 2005 [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
Jun. 2005 [pdf] 287KB

PS-2005-010
Takeuti Izumi
Kleene category as a model of calculation (Preliminary Version)
Jun. 2005 [pdf] 177KB

PS-2005-009
Osamu Takaki, Hiroshi Watanabe, Makoto Takeyama
A short tutorial on PVS (in Japanese)
Apr. 2005 [pdf] 329KB

PS-2005-008
Hitoshi Ohsaki, Jean-Marc Talbot, Sophie Tison, Yves Roos
Monotone AC-Tree Automata
Mar. 2005 [pdf] 173KB

PS-2005-007
Yoshinori Tanabe, Toshinori Takai, Toshifusa Sekizawa, Koichi Takahashi
Preconditions of properties described in CTL for statements manipulating pointers (Preliminary Version)
Mar. 2005 [pdf] 130KB

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

PS-2005-005
Koki Nishizawa, John Power
Lawvere Theories Enriched over a General Base
Feb. 2005 [pdf] 246KB

PS-2005-004
Pablo López, Jeff Polakow
Implementing Efficient Resource Management for Linear Logic Programming (Preliminary Version)
Jan. 2005 [pdf] 285KB

PS-2005-003
Eun-Hye Choi, Hiroshi Watanabe
Modeling and Verification of Class Specification foe Web Applications (in Japanese)
Jan. 2005 [pdf] 855KB

PS-2005-002
Eun-Hye Choi, Takanori Kawamoto, Hiroshi Watanabe
Model Checking for Verifying Specification of Page Flow (in Japanese)
Jan. 2005 [pdf] 420KB

PS-2005-001
Daichi Mizuguchi, Hiroshi Watanabe
A Case Study of Applying Model Checking to Embedded Software Development (in Japanese)
Jan. 2005 [pdf] 361KB

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