形式手法（formal method：フォーマル・メソッド）に関する情報

形式手法、または形式的手法
　・形式的な仕様記述（formal specification）
　・形式検証（formal verification） => モデル検査(model checking)を含む

統一された手法は存在しない。

フォーマルメソッドに関する情報一覧
http://vl.fmnet.info/

ミッションクリティカルなコントローラの設計に関する情報
http://www.columbus.gr/

仕様記述の手法
　・VDM
　・Z
　・B
　など

モデル検査の手法
　・Promela
　・SMV
　・Uppaal
　・LUSTRE
　など

LUSTRE
Uppaal
SPIN
jMocha
OpenModelica
ESTEREL

その他

Giotto
Metropolis
Polis

---

mailto: hiroshi-u@marino.co.jp