2018年12月 証明支援系 Coq を用いた有界モデル検査アルゴリズムの検証 第16回ディペンダブルシステムワークショップ 藤井 采人, 石井 大輔 (poster) エクスポート BibTeX RIS