[[Fukunaga Lab Wiki]]

「並行システムのモデル化・検証・実装」
本位田真一 監修 磯部祥尚 著

を読み進めていく。


第一回

2014/04/15(火)
第一章 FDR , CSP , JCSP 概論

主にこれから学んでいく、モデル検査器FDR,プロセス代数CSP,JAVAライブラリJCSPについて見た。

プロセス代数では、複雑なプロセスでも、イベントの実行可能性に着目した等価性を考えることで、わかりやすい逐次的なプロセスと等価であると示すことで、どのようなプロセスかを判別することができる。

FDRやJCSPの使い方を見た。

[[スライド(pptxファイル):http://tmubdell.math.se.tmu.ac.jp/wiki/M_ZEMI_DATA_2014/0415_M_Zemi.pptx]]

トップ   新規 一覧 単語検索 最終更新   ヘルプ   最終更新のRSS