Keyword:Theory of Arrays

Publications
Arrays Made Simpler: An Efficient, Scalable and Thorough Preprocessing Benjamin Farinier, Robin David, Sébastien Bardin and Matthieu Lemerre In:LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning
A Theory of Arrays with set and copy Operations Stephan Falke, Carsten Sinz and Florian Merz In:SMT 2012. 10th International Workshop on Satisfiability Modulo Theories
Program Verification via Craig Interpolation for Presburger Arithmetic with Arrays Angelo Brillout, Daniel Kroening, Philipp Rümmer and Thomas Wahl In:VERIFY-2010. 6th International Verification Workshop