HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

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 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 Kovacs 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 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.

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