Language:

SL-COMP: Competition of Solvers for Separation Logic

Distributed under a Creative Commons Attribution 4.0 International License ;DOI: 10.1007/978-3-030-17502-3_8

Digital Resources/Online E-Resources

Citations Cited by

Actions
1. Add to My Research
2. Remove from My Research
3. E-mail
4. Print
5. Permalink
6. Citation
7. EasyBib
8. EndNote
9. RefWorks
10. Delicious
11. Export RIS
12. Export BibTeX

Title:
SL-COMP: Competition of Solvers for Separation Logic
Author: Sighireanu, Mihaela ; Navarro Pérez, Juan ; Rybalchenko, Andrey ; Gorogiannis, Nikos ; Iosif, Radu ; Reynolds, Andrew ; Serban, Cristina ; Katelaan, Jens ; Matheja, Christoph ; Noll, Thomas ; Zuleger, Florian ; Chin, Wei-Ngan ; Le, Quang Loc ; Ta, Quang-Trung ; Le, Ton-Chanh ; Nguyen, Thanh-Toan ; Khoo, Siau-Cheng ; Cyprian, Michal ; Rogalewicz, Adam ; Vojnar, Tomas ; Enea, Constantin ; Lengal, Ondrej ; Gao, Chong ; Wu, Zhilin
Subjects: Computer Science ; Logic in Computer Science
Description: 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 event took place twice until now and collected more than 1K problems for different fragments of SL. The input format of problems is based on the SMT-LIB format and therefore fully typed; only one new command is added to SMT-LIB's list, the command for the declaration of the heap's type. The SMT-LIB theory of SL comes with ten logics, some of them being combinations of SL with linear arithmetics. The competition's divisions are defined by the logic fragment, the kind of decision problem (satisfiability or entailment) and the presence of quantifiers. Until now, SL-COMP has been run on the StarExec platform, where the benchmark set and the binaries of participant solvers are freely available. The benchmark set is also available with the competition's documentation on a public repository in GitHub.
Creation Date: 2019
Language: English
Identifier: DOI: 10.1007/978-3-030-17502-3_8
Source: Hyper Article en Ligne (HAL) (Open Access)

Back to results list


INSPIRE LIBRARY - TON DUC THANG UNIVERSITY	(84-028) 37 755 057	Feedback
19 Nguyen Huu Tho St. Dist.7, HCM	thuvien@tdtu.edu.vn	Feedback

SL-COMP: Competition of Solvers for Separation Logic

Distributed under a Creative Commons Attribution 4.0 International License ;DOI: 10.1007/978-3-030-17502-3_8

Searching Remote Databases, Please Wait