The Separation Logic Competition (SL-COMP) is an initiative to bring together researchers and practitioners interested on improving the state of the art of automated deduction methods for Separation Logic. The competition is run on more than 1K decision problems for different fragments of Separation Logic.
May 31, 2021 · SL-COMP is a competition bringing together researchers and users interested in automated reasoning methods for separation logic (SL).
The solver builds derivation trees and uses induction to cut infinite paths in these trees that satisfy some soundness condition. For the Separation Logic, ...
Jul 5, 2024 · SL-COMP aims at bringing together researchers interested on improving the state of the art of the automated deduction methods for Separation ...
SL-COMP is a competition bringing together researchers and users interested in automated reasoning methods for separation logic (SL).
SL-COMP aims at bringing together researchers interested on improving the state of the art of the automated deduction methods for Separation Logic (SL).
Apr 4, 2019 · SL-COMP aims at bringing together researchers interested on improving the state of the art of the automated deduction methods for Separation ...
SL-COMP aims at bringing together researchers interested on improving the state of the art of the automated deduction methods for Separation Logic (SL). The ...
SL-COMP is an initiative for collecting decision problems in Separation Logic and solvers dealing with such problems. This initiative started in 2014 and it ...
Abstract. SL-COMP is a competition bringing together researchers and users interested in automated reasoning methods for separation logic (SL).