Papers

Peer-reviewed Lead author Corresponding author Open access
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
Language
Publishing type
Research paper (international conference proceedings)
Link information
URL
http://arxiv.org/abs/2006.13613 Open access
URL
https://ieeexplore.ieee.org/document/9405260
Export
BibTeX RIS
To Papers list