@techreport{oai:soar-ir.repo.nii.ac.jp:00018324, author = {和崎, 克己}, month = {}, note = {研究種目:基盤研究(C), 研究期間:2011~2013, 課題番号:23500174, 研究代表者:和崎 克己, 研究者番号:70271492, Other, 2011~2013年度科学研究費助成事業(基盤研究(C))研究成果報告書 課題番号:23500174 研究代表者:和崎 克己}, title = {グリッド環境の定理証明器とモデル検査器をハードウェアコンパイラ融合した形式検証系}, year = {2014} }