Formal verification of iterative algorithms (2000)

by M D Aagaard, R B Jones, R Kaivola
Venue:in microprocessors,” in DAC 2000. ACM