Author:Simon Robillard

Publications
Goéland: a Concurrent Tableau-Based Theorem Prover (System Description) Julie Cailler, Johann Rosain, David Delahaye, Simon Robillard and Hinde Bouziane EasyChair Preprint no. 8676
Loop Analysis by Quantification over Iterations Bernhard Gleiss, Laura Kovács and Simon Robillard In:LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning
An Inference Rule for the Acyclicity Property of Term Algebras Simon Robillard In:Vampire 2017. Proceedings of the 4th Vampire Workshop
Theory-Specific Reasoning about Loops with Arrays using Vampire Yuting Chen, Laura Kovács and Simon Robillard In:Vampire 2016. Proceedings of the 3rd Vampire Workshop
Reasoning About Loops Using Vampire Laura Kovács and Simon Robillard In:Proceedings of the 1st and 2nd Vampire Workshops

Keyphrases

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