K-induction without unrolling
Arie Gurfinkel, Alexander Ivrii[ISBN] [Google Scholar] [DBLP] [Citeseer]
Proceedings of the 17th Conference on Formal Methods in Computer-Aided Design
FMCAD '17
Vienna, Austria
FMCAD Inc
Austin, Texas
Pages 148-155
2017
Papers: sheeran:fmcad:2000
FMCAD '17
Vienna, Austria
FMCAD Inc
Austin, Texas
Pages 148-155
2017
Papers: sheeran:fmcad:2000