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

2006

PS-2006-013
Eun-Hye CHOI, Tatsuhiro TSUCHIYA, Tohru KIKUNO
Model Checking a Modular-Structured Nonblocking Atomic Commitment Protocol for Asynchronous Distributed Systems
Nov. 2006 [pdf] 358KB

PS-2006-012
Proceedings of the Third Symposium on Science and Technology for System Verification (in japanese)
Venue : Senri Life Science Center
Oct. 2006 [pdf] 11.1MB

PS-2006-011
Hiroyuki Ozaki, Makoto Takeyama, Yoshiki Kinoshita
Agate -an Agda-to-Haskell compiler
Oct. 2006 [pdf] 435KB

PS-2006-010
Yoshiki Kinoshita, Koki Nishizawa, Keishi Okamoto
Formalising Coffman Conditions in First Order Modal μ Calculus (Extended Version)
Oct. 2006 [pdf] 249KB

PS-2006-009
Ichiro Hasuo
Generic Forward, Backward Simulations
Oct. 2006 [pdf] 264KB

PS-2006-008
Stefano Berardi, Yoriyuki Yamagata
A sequent calculus for Limit Computable Mathematics
Aug. 2006 [pdf] 463KB

PS-2006-007
Moonzoo Kim, Eun-Hye Choi
Formal Modeling and Verification of Management on a Group of Network Security Appliances
Jul. 2006 [pdf] 384KB

PS-2006-006
Research Center for Verification and Semantics
Research Report Collection for 2005 (in Japanese)
July 2006 [pdf] 13.3MB

PS-2006-005
Toshinori Takai, Hitoshi Furusawa
Monodic tree Kleene algebra (Preliminary Version)
May 2006 [pdf] 246KB

PS-2006-004
Hiroki Takamura
The variety of modal FLew-algebras is generated by its finite simple members
May 2006 [pdf] 279KB

PS-2006-003
Keishi Okamoto
A First-Order Extension of Modal μ-calculus
Apr. 2006 [pdf] 152KB

PS-2006-002
Hiroshi Watanabe, Koki Niishizawa, Osamu Takagi
A Coalgebraic Representation of Reduction by Cone of Influence
Feb. 2006 [pdf] 257KB

PS-2006-001
Eun-Hye Choi, Tatsuhiro Tsuchiya, Tohru Kikuno
Model Checking Active Database Rules
Feb. 2006 [pdf] 410KB

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