Author:Pamina Georgiou
Keyphrasesautomated software verification, automated theorem proving, automating induction, first-order theorem proving, function calls, induction in first-order logic, software correctness, sorting algorithms, superposition-based theorem proving. |