Author:Simon Robillard
Keyphrasesacyclicity, automated reasoning2, automated theorem proving2, concurrency, consequence finding, first-order logic, first-order theorem proving, inference rule, invariant generation3, loop, polymorphic arrays, program analysis2, program verification2, superposition, symbol elimination, tableaux, term algebra, termination. |