CVS

center-name

AIST
 センター長挨拶Policy Statement研究テーマ研究活動研究成果Technical Reports書籍共同研究集会支援English
 研修コース ・ニュースレター ・CVS Staff ・アクセス 採用情報  ・お問い合わせ ・更新履歴 ・プレスリリース ・カレンダーHOME 

算譜科学研究速報 (テクニカルレポート)

CVSでは、テクニカルレポートの他、書籍も出版しております。こちらもご覧ください。


  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
2006年11月[PDF] pdf 358KB

PS-2006-012
第三回システム検証の科学技術シンポジウム予稿集
2006年10月30日〜11月1日 於:千里ライフサイエンスセンター
[PDF]pdf 全編11.1MB

PS-2006-011
Hiroyuki Ozaki, Makoto Takeyama, Yoshiki Kinoshita
Agate -an Agda-to-Haskell compiler
2006年10月[PDF]pdf 435KB

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

PS-2006-009
Ichiro Hasuo
Generic Forward and Backward Simulations
2006年10月[PDF]pdf 264KB

PS-2006-008
Stefano Berardi 、山形頼之
A sequent calculus for Limit Computable Mathematics (Technical Report)
2006年8月[PDF]pdf 463KB

PS-2006-007
Moonzoo Kim and Eun-Hye Choi
Formal Modeling and Verification of Management on a Group of Network Security Appliances
2006年7月[PDF]pdf 384KB

PS-2006-006
システム検証研究センター
2005年度(平成17年度)研究報告集
2006年7月[PDF] pdf 13.0MB

PS-2006-005
Toshinori Takai and Hitoshi Furusawa
Monodic tree Kleene algebra (Preliminary Version)
2006年5月[PDF]pdf 246KB

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

PS-2006-003
Keishi Okamoto
A First-Order Extension of Modal μ-calculus
2006年4月[PDF]pdf 152KB

PS-2006-002
渡邊宏、西澤弘毅、高木理
A Coalgebraic Representation of Reduction by Cone of Influence
2006年2月[PDF]pdf 257KB

PS-2006-001
Eun-Hye Choi, Tatsuhiro Tsuchiya, Tohru Kikuno
Model Checking Active Database Rules
2006年2月[PDF]pdf 410KB


産総研ホーム > 組織 > 研究センター > システム検証研究センター
Copyrights (C) 2005-2010 AIST Research Center for Verification and Semantics, All Rights Reserved.