HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Evgenii Kotelnikov

Publications
A FOOLish Encoding of the Next State Relations of Imperative Programs
Evgenii Kotelnikov, Laura Kovács and Andrei Voronkov
EasyChair Preprint 98
A Clausal Normal Form Translation for FOOL
Evgenii Kotelnikov, Laura Kovács, Martin Suda and Andrei Voronkov
In:GCAI 2016. 2nd Global Conference on Artificial Intelligence

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.

Copyright © 2012-2025 easychair.org. All rights reserved.