Property-specific sequential invariant extraction for SAT-based unbounded model checking
Journal
IEEE/ACM International Conference on Computer-Aided Design, Digest of Technical Papers, ICCAD
Pages
674-678
Date Issued
2011
Author(s)
Type
conference paper