Author:Evgenii Kotelnikov

Keyphrases

automated theorem prover, automated theorem proving, clause normal form, first-order logic, first-order theorem prover, FOOL, fool formula, next state relation, program verification, static analysis, theorem prover, theorem proving, translation, Vampire.