2024-03-28T22:09:54Z
https://soar-ir.repo.nii.ac.jp/oai
oai:soar-ir.repo.nii.ac.jp:00018324
2022-12-14T04:13:30Z
1221:1308:1770
Formal Verification System by using Hardware Compiler Fusioning of Theorem Prover and Model Checker on the Grid Environment
グリッド環境の定理証明器とモデル検査器をハードウェアコンパイラ融合した形式検証系
和崎, 克己
研究種目:基盤研究(C)
研究期間:2011~2013
課題番号:23500174
研究代表者:和崎 克己
研究者番号:70271492
Other
2011~2013年度科学研究費助成事業(基盤研究(C))研究成果報告書 課題番号:23500174 研究代表者:和崎 克己
research report
2014
application/pdf
https://soar-ir.repo.nii.ac.jp/record/18324/files/23500174seika.pdf
jpn