José Abel Castellanos Joo, Silvio Ghilardi, Alessandro Gianola, Deepak Kapur. AXDInterpolator: A Tool for Computing Interpolants for Arrays with MaxDiff. In Alexander Nadel, Aina Niemetz, editors, Proceedings of the 19th International Workshop on Satisfiability Modulo Theories co-located with 33rd International Conference on Computer Aided Verification(CAV 2021), Online (initially located in Los Angeles, USA), July 18-19, 2021. Volume 2908 of CEUR Workshop Proceedings, pages 40-52, CEUR-WS.org, 2021. [doi]
Abstract is missing.