CISPA
Browse

The Reactive Synthesis Competition (SYNTCOMP): 2018–2021

Download (2.06 MB)
journal contribution
posted on 2024-07-15, 08:38 authored by Swen JacobsSwen Jacobs, Guillermo A Pérez, Remco Abraham, Véronique Bruyère, Michaël Cadilhac, Maximilien Colange, Charly Delfosse, Tom van Dijk, Alexandre Duret-Lutz, Peter Faymonville, Bernd FinkbeinerBernd Finkbeiner, Ayrat Khalimov, Felix Klein, Michael Luttenberger, Klara Meyer, Thibaud Michaud, Adrien Pommellet, Florian Renkin, Philipp Schlehuber-Caissier, Mouhammad Sakr, Salomon Sickert, Gaëtan Staquet, Clément Tamines, Leander Tentrup, Adam Walker
We report on the last four editions of the reactive synthesis competition (SYNTCOMP 2018–2021). We briefly describe the evaluation scheme and the experimental setup of SYNTCOMP. Then we introduce new benchmark classes that have been added to the SYNTCOMP library and give an overview of the participants of SYNTCOMP. Finally, we present and analyze the results of our experimental evaluations, including a ranking of tools with respect to quantity and quality—that is, the total size in terms of logic and memory elements—of solutions.

History

Primary Research Area

  • Reliable Security Guarantees

Journal

International Journal on Software Tools for Technology Transfer

Page Range

1-17

Publisher

Springer Nature

Open Access Type

  • Not Open Access

Sub Type

  • Article

BibTeX

@article{Jacobs:Pérez:Abraham:Bruyère:Cadilhac:Colange:Delfosse:van Dijk:Duret-Lutz:Faymonville:Finkbeiner:Khalimov:Klein:Luttenberger:Meyer:Michaud:Pommellet:Renkin:Schlehuber-Caissier:Sakr:Sickert:Staquet:Tamines:Tentrup:Walker:2024, title = "The Reactive Synthesis Competition (SYNTCOMP): 2018–2021", author = "Jacobs, Swen" AND "Pérez, Guillermo A" AND "Abraham, Remco" AND "Bruyère, Véronique" AND "Cadilhac, Michaël" AND "Colange, Maximilien" AND "Delfosse, Charly" AND "van Dijk, Tom" AND "Duret-Lutz, Alexandre" AND "Faymonville, Peter" AND "Finkbeiner, Bernd" AND "Khalimov, Ayrat" AND "Klein, Felix" AND "Luttenberger, Michael" AND "Meyer, Klara" AND "Michaud, Thibaud" AND "Pommellet, Adrien" AND "Renkin, Florian" AND "Schlehuber-Caissier, Philipp" AND "Sakr, Mouhammad" AND "Sickert, Salomon" AND "Staquet, Gaëtan" AND "Tamines, Clément" AND "Tentrup, Leander" AND "Walker, Adam", year = 2024, month = 6, journal = "International Journal on Software Tools for Technology Transfer", pages = "1--17", publisher = "Springer Nature", issn = "1433-2779", doi = "10.1007/s10009-024-00754-1" }

Usage metrics

    Categories

    No categories selected

    Keywords

    Reliable Security Guarantees46 Information and Computing Sciences4610 Library and Information StudiesReliable Security guarantees RA30803 Computer SoftwareSoftware Engineering4606 Distributed computing and systems software4612 Software engineering

    Licence

    CC BY 4.0

    Exports

    RefWorks
    BibTeX
    Ref. manager
    Endnote
    DataCite
    NLM
    DC