形式手法の事例
採用例
日本
Felica
DeNA
組み込み
VDM++
BPS1000紙幣検査機
航空管制
金融
証券バックオフィスパッケージ
仕様記述言語
VDM++
CSK
言語処理
セキュリティ
米国国家安全保障庁(NSA)の生体認証システム
使用記述言語
Common Criteria EAL5(準形式的設計、およびテスト)
マスターカード認証サーバ
仕様記述言語
UML
自然言語
電子商取引
鉄道関係
航空関係
クルーズコントロール
確認用
Q. 形式手法の事例
参考
2012/11/15
関連