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

Daisuke Ishii, Saito Fujii

Browse the full TASE paper archive.