『中小企業の形式手法への取り組み』
中小企業の形式手法への取り組み
IEC 61508
機能安全
安全度水準(SIL)
VDM
/
VDM++
/
VDMTools
Event-B
Bメソッド
Rodin Platform
ProB
Atelier B
Z記法
数学的抽象度が大きい
CZT
Alloy
番外で調査、検証したもの
Promela
、
SPIN
UPPAAL
株式会社サニー技研
#形式手法の文献
#文献