Property-specific sequential invariant extraction for SAT-based unbounded model checking

Yeh, H.-H.H.-H.YehWu, C.-Y.C.-Y.WuCHUNG-YANG HUANG2020-06-112020-06-112011https://scholars.lib.ntu.edu.tw/handle/123456789/499718Property-specific sequential invariant extraction for SAT-based unbounded model checkingconference paper10.1109/ICCAD.2011.61054022-s2.0-84862908210https://www.scopus.com/inward/record.uri?eid=2-s2.0-84862908210&doi=10.1109%2fICCAD.2011.6105402&partnerID=40&md5=57a0ff53de601a21d5b5225d1b0beab8