Checking safety properties using induction and a SAT-solver

Mary Sheeran, Satnam Singh, Gunnar Stålmarck
[ISBN] [Google Scholar] [DBLP] [Citeseer]

Proceedings of the Third International Conference on Formal Methods in Computer-Aided Design
FMCAD '00
Springer-Verlag
Berlin, Heidelberg
Pages 108-125
2000