2015年12月 平成 27年度 電子情報通信学会 信州大学 Student Branch 論文発表会 優秀論文賞 電子情報通信学会 タイトル ペトリネットツールHiPSが生成した状態空間とLTLによる仕様記述を用いたOn-the-flyモデル検査器の設計と実装