Verifying the SRT Division Algorithm Using Theorem Proving Techniques.

Edmund M. Clarke Steven M. German Xudong Zhao

Published in: Formal Methods Syst. Des. (1999)

Keyphrases

theorem proving
learning algorithm
np hard
simulated annealing
artificial intelligence
probabilistic model
temporal logic
automatic programming