FrontPage
形式手法(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
形式手法、または形式的手法
・形式的な仕様記述(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
2006年04月18日(火) 11:46:47 Modified by red_out