国際シンポジウムFM 2012 Symposiumの開催情報
MRI
情報源
http://fm2012.cnam.fr/
概要
形式手法の国際的なシンポジウムFM 2012 Symposiumが8月27-31日にパリで開催される。今年で18回目の開催となるが、今回の特徴としては、認知モデリングや航空宇宙等の学際的な領域を重視していることが挙げられる。その他、形式手法の実践的な活用方法や理論についての発表が行われる。また、ツールの機能や使い方に焦点を当てたツールペーパーが発表されることもFM Symposiumの特徴であり、今回は6件の発表が予定されている。8件のワークショップが併設されており、今年から時間やリソース、確率等の量に着目したワークショップQFM 2012が新設される。産業界における形式手法の活用を共有するIndustry Dayでは、日本の文部科学省による事業プログラムの一環として開発が行われているGarakabu2が発表される。Garakabu2は、組込みソフトウェア向けの国産ツールであるZIPCで記述された状態遷移表に対してモデル検査を行うことができる。
開催日時
2012/8/27-31
このページの先頭へ戻る