Fukunaga Lab Wiki

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

を読み進めていく。

第一回

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

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

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

FDRやJCSPの使い方を見た。


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