CVS

center-name

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

◆ サブ メニュー ◆
Web版 システム検証の事例報告集

Web版 トップ頁へ

▼ 一覧から探す
  1. 項目一覧

  2. 概要一覧

▼ 話題別に探す
  1. 領域

  2. 形態

  3. 手法

  4. ツール

  5. 実施年度

Web版 システム検証の事例報告集:実施年度

2002 年度

事例 5

自動検針システム仕様書のモデル検査

事例 14

非自動はかりの重量データ処理プログラムのモデル検査適用事例

2003 年度

事例 6

遷移系抽象化アルゴリズムの検証

事例 7

モデル検査支援装置の基本デザインの検討

事例 12

相互再帰的に定義された文字列を翻訳処理するプログラムの検証

2004 年度

事例 2

Webアプリケーションの基本設計書の検証

事例 3

Webアプリケーションの画面遷移仕様のモデル検査

事例 4

Webアプリケーションのクラス設計仕様に対するモデル化と検証

事例 11

便益性評価のためのデータ収集実験と評価

事例 21

環境ドライバを用いた組込みシステムのソースコードモデル検査

2005 年度

事例 11

便益性評価のためのデータ収集実験と評価

事例 13

たし算かけ算プログラムのコンパイラの正当性証明

事例 18

ソフトウェア更新システムプロトコルのBAN Logicによる安全性検証

事例 22

検証期間の調査のための車載組込みシステムに対するモデル検査実験

事例 23

Java の例外処理のSPIN による検証

事例 24

ソフトウェア更新システムのモデル検査器を使った安全性の検証

2006 年度

事例 1

通信プロトコル設計へのモデル検査適用事例

事例 9

一般公開で用いたLEGO用プログラムの検証

事例 10

確率モデル検査による1次元イジングモデルの検証

事例 15

クルーズコントロールシステムの演繹的検証

事例 16

Hoare論理の健全性のAgdaによる検証

事例 19

リスト反転アルゴリズムのAgda-MLAT連携による検証

事例 20

TACC業務フロー図の検証

2007 年度

事例 8

アセンブラで記述された組込みシステムのモデル検査による検証事例

事例 10

確率モデル検査による1次元イジングモデルの検証

事例 17

Deutsch-Schorr-WaiteマーキングアルゴリズムのAgda-MLAT連携による検証

事例 25

Real-Time Maude によるモデル検査と検査式・ モデルの修正

事例 26

制御系ECU調停器の演繹的検証

事例 27

YAMPIIライブラリ中のポインタ操作のAgda-IVEよる検証

事例 28

システムLSI仕様の形式化と検証項目自動生成

2008 年度

事例 10

確率モデル検査による1次元イジングモデルの検証

事例 17

Deutsch-Schorr-WaiteマーキングアルゴリズムのAgda-MLAT連携による検証

2009 年度

事例 29

仕様処理システムの適用実験事例


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