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     2006     2005      2004      2003      2002     2001     

2007

PS-2007-010
Toshinori Takai, Takahiro Furuhashi, Hiroyuki Ozaki, Hitoshi Osaki
A case study on verification using model-checking and environmental drivers
Oct. 2007 [pdf] 269KB

PS-2007-009
Koki Nishizawa
Algebraic Structure for a modal fixed point logic and abstract interpretation
Jul. 2007 [pdf] 581KB

PS-2007-008
Yoriyuki Yamagata, Masaya Saitou
Security verification through model checking: A case study using software update system (in Japanese)
Jul. 2007 [pdf] 161KB

PS-2007-007
Research Center for Verification and Semantics
Research Report Collection for 2006 (in Japanese)
Jul. 2007 [pdf] 5.59MB

PS-2007-006
Satoru Yoshida, Yoriyuki Yamagata
A case study on safety verification for the software update protocol by BAN logic (Preliminary Version)
Jun. 2007 [pdf] 224KB

PS-2007-005
Koki Nishizawa, Yukiyoshi Kameyama, Yoshiki Kinosita
Simulations of Multi-Valued Models for Modal μ-Calculus
Apr. 2007 [pdf] 328KB

PS-2007-004
Toshifusa Sekizawa, Yoshinori Tanabe, Yoshifumi Yuasa, Koichi Takahashi
MLAT: Modal Logic Abstraction Tool
Feb. 2007 [pdf] 160KB

PS-2007-003
Toshifusa Sekizawa, Toshinori Takai, Yoshinori Tanabe, Koichi Takahashi
A Method to Generate Formulae for Temporal Logic Satisfiability Checkers
Feb. 2007 [pdf] 229KB

PS-2007-002
Hiroki Takamura
Semisimplicity, EDPC and discriminator varieties of modal FLew-algebras (Preliminary Version)
Feb. 2007 [pdf] 185KB

PS-2007-001
Satoru Yoshida
A note on the weak topology for the constructive completion of the space D(R)
Feb. 2007 [pdf] 170KB



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