高信頼ソフトウェア開発技法の実践的試み(<特集>システム設計のための形式手法の基礎と応用)
スポンサーリンク
概要
- 論文の詳細を見る
- 2008-09-15
著者
関連論文
- 4. C言語へのフォーマルメソッドの適用(Part II:産業界への応用,フォーマルメソッドの新潮流)
- Cプログラム・モデル検査におけるDbC(一般セッション2:モデル検査とコデザイン)
- 形式手法によるC言語検証ツール「VARVEL」 (組込みソフトウエア・ソリユーシヨン特集) -- (組込みソフトウェア開発環境ソリューション)
- 高信頼ソフトウェア開発技法の実践的試み(システム設計のための形式手法の基礎と応用)
- リファクタリングの正しさのESC/Java2による形式検証
- 有界モデル検査法を用いたCプログラムのモジュラー検証
- 有界モデル検査法を用いたモジュラー検証のテストケース生成による補完
- ソフトウェアモデル検査とテストケース生成の統合