独立行政法人産業技術総合研究所ホームページへ

AIST

  • サイトマップ
  • アクセス
  • お問い合せ
  • 組織の紹介
    • ご挨拶
    • スタッフ紹介
    • システム検証技術
      • テストフレームワーク
      • フロントローディング化技術
    • ツール開発
      • Agda
      • 仕様処理システム
    • ディペンダビリティ
    • 研究閲覧
      • 研究成果
      • テクニカルレポート
      • 事例報告集
      • ニュースレター
      • 書籍紹介
      • 特許
  • サービス
    • 連携検証施設「さつき」
    • サービス概要
    • ご利用までの流れ
    • 利用環境
    • お問い合せ
  • 高度人材育成
    • 組込み適塾
    • CVS教程:モデル検査
    • CVS教程:対話型証明
  • セミナー・イベント
    • 計算機言語談話会(CLC)
    • システム設計検証技術研究会
    • AIST/CVS ワークショップ
    • その他のイベント
  • 採用情報

  • ご挨拶
  • スタッフ紹介
  • システム検証技術
  • ツール開発
  • ディペンダビリティ
  • 研究閲覧
  • 連携検証施設
  • サービス概要
  • ご利用までの流れ
  • 利用環境
  • さつき講習会
  • 組込み適塾
  • CVS教程:モデル検査
  • CVS教程:対話型証明
  • 計算機言語談話会(CLC)
  • システム設計検証技術研究会
  • AIST/CVS ワークショップ
  • その他のイベント

NEWS新着情報

  • 2011/08/31           テクニカルレポートを発行いたしました。
  • 2011/11/22           北村崇師研究員が情報処理学会 2011年度(平成23年度)山下記念研究賞を 受賞
  • 2011/12/01           産総研TODAY12月号に特集記事を掲載しています。
  • 2011/12/09           契約職員を募集いたします。
  • 2011/12/09           早水公二研究員がクリティカルソフトウェアワークショップにて 最優秀賞を受賞
  • 2012/02/01           第二百六十三回 CLCを開催いたします。 新着

EVENTイベント情報

 2011/7/13〜
モデル検査技術演習 (PT001) の試行開催をいたします。→くわしくはこちら
  2011/11/21 第5回「さつき」講習会 モデル検査(SMV)編を開催いたします。
  • 産業技術総合研究所
  • ・ 第3期 研究戦略

先進的組込みソフト産学官連携プログラム 組込み適塾

組込みシステム産業振興機構

モデル検査によるソフトウエアテストの実践研究会

形式手法の実践ポータル

    産業技術総合研究所尼崎支所

    尼崎サイト概観

    »アクセス

  • 当サイトのご利用条件
  • プライバシーポリシー
(C)AIST-CVS