Hybrid Theorem Proving as a Lightweight Method for Verifying Numerical Software.

Alper Altuntas John W. Baugh Jr.

Published in: CORRECTNESS@SC (2018)

Keyphrases

lightweight
theorem proving
artificial intelligence
search procedure
data mining
search algorithm
software systems