磯部 祥尚

【担当講義】
並行システムの検証と実装（全15コマ）、基礎理論（4コマ）

【所属・役職】
産業技術総合研究所 主任研究員

【研究分野】
並行システム、プロセス代数、検証、モデル検査器、定理証明器

【ひとこと】
並行システムの検証と実装」講座では、並行システムをプロセス代数CSPでモデル化し、モデル検査器FDRで検証し、JavaライブラリJCSPで実装する方法について講義します。特に、モデル化→検証→実装の流れを重視して います。受講するにあたって、CSPについての予備知識は必要ありません。最近ではマルチコアCPUの普及もあり、JCSP以外にもCSPに基づく並列処理を実装するためのさまざまなライブラリや言語（GoogleのGo言語など）が公開されております。是非、本講座をとおして、CSPに基づく検証と実装を習得していただければと思います。