Report on SL-COMP 2014
Mihaela Sighireanu, David R. Cok · Journal on Satisfiability Boolean Modeling and Computation · 2016
A competition of solvers for Separation Logic was held in May 2014, as an unofficial satellite event of the FLoC Olympic Games. Six solvers participated in the competition; the success and performance of each solver was measured over an appropriate s