日本ソフトウェア科学会の大会のお馴染みの行事となりましたPPL研究会主催のサマースクールが今年もやってきます．内容は，東京大学の小林直樹先生による高階モデル検査とその応用です．
以下，サマースクールのページから簡単に抜粋：
モデル検査は、ハードウェアやソフトウェアの自動検証のための有望な技術として注目を集め、近年産業界にも応用が進んでいる。本チュートリアルでは、通常のモデル検査の拡張としてここ数年研究レベルで注目を集めている「高階モデル検査」とその応用について解説する。
関心のある方は，さらに詳しい内容をごらん下さい．
参加無料．申し込みは大会のフォーム（現在準備中）を通してお願いいたします．
日本ソフトウェア科学会第30回大会 