証明支援系 Coq を用いた有界モデル検査アルゴリズムの検証

第16回ディペンダブルシステムワークショップ

石井大輔