Verifying the SRT Division Algorithm Using Theorem Proving Techniques.

Edmund M. Clarke Steven M. German Xudong Zhao

Published in: CAV (1996)

Keyphrases

theorem proving
simulated annealing
learning algorithm
automated deduction
search space
automatic programming
parallel search
graphical models
first order logic
theorem prover
decision procedures