SL-COMP: competition of solvers for separation logic - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue International Journal on Software Tools for Technology Transfer Année : 2021

SL-COMP: competition of solvers for separation logic

Résumé

SL-COMP is a competition bringing together researchers and users interested in automated reasoning methods for separation logic (SL). The competition provides a snapshot of the state of the art in the area through a set of problems that put forward the strengths and challenges of the existing solvers and a comparative and replicable evaluation of participating solvers. The third edition of SL-COMP took place in April 2019, as part of the TOOLympics event at TACAS 2019. It collected more than 1K satisfiability and entailment problems, had seen the adoption of the new input format based on SMT-LIB and had doubled the number of participant solvers compared with the first edition in 2014. This report relates the history and the context of SL-COMP competition and accounts of its third edition. It also discusses the issues related with its organization and the challenges for the next editions.
Fichier principal
Vignette du fichier
main.pdf (441.61 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Licence : CC BY - Paternité

Dates et versions

hal-04425491 , version 1 (30-01-2024)

Identifiants

Citer

Mihaela Sighireanu. SL-COMP: competition of solvers for separation logic. International Journal on Software Tools for Technology Transfer, 2021, 23, pp.895 - 903. ⟨10.1007/s10009-021-00628-w⟩. ⟨hal-04425491⟩
7 Consultations
6 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More