CVS

center-name

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


arrowAgdaサイト
arrow研究活動
  1. 計算機言語談話会(CLC)
  2. システム設計検証技術研究会
  3. AIST/CVS ワークショップ
  4. シンポジウム
  1. CVS教程
  2. 教科書
arrowリンク集
  1. 連携検証施設:さつき
  2. ACTAS
  3. SciencePortal (JST)

What's New 
(2010年03月31日更新)

03月31日 平成16年4月より6年間の計画でスタートしました当研究センターは、最終年度の平成22年3月末日をもって終了いたしました。
当研究センターは数理的手法(形式手法を含む)が情報処理システムにおける生産性および信頼性向上に有効であることを説得し、この手法を社会に定着させることを目的に設置され、研究活動を「科学研究」と「フィールドワーク」の両面から進めて参りました。
これまでご支援いただきました皆様には心より御礼申し上げます。

なお平成22年4月以降は、関西産学官連携センター 組込みシステム技術連携研究体(連携検証施設:さつき)にてこの方向の研究活動を続ける予定です。

 

BackNumber

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