Author:Simon Robillard

Keyphrases

acyclicity, automated reasoning, automated theorem proving, consequence finding, first-order theorem proving, inference rule, invariant generation², polymorphic arrays, program analysis², program verification, superposition, symbol elimination, term algebra.