論文

査読有り 筆頭著者 責任著者 本文へのリンクあり
2020年

Formalizing the Soundness of the Encoding Methods of SAT-based Model Checking

International Symposium on Theoretical Aspects of Software Engineering (TASE)
  • Daisuke Ishii
    • ,
  • Saito Fujii
記述言語
掲載種別
研究論文（国際会議プロシーディングス）
リンク情報
URL
http://arxiv.org/abs/2006.13613 本文へのリンクあり
URL
https://ieeexplore.ieee.org/document/9405260
エクスポート
BibTeX RIS
論文リストへ