Unrealizable Cores for Reactive Systems Specifications: Artifact

Shahar Maoz, Rafi Shalom

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

Abstract

This document describes the artifact that accompanies the ICSE'21 paper 'Unrealizable Cores for Reactive Systems Specifications'. The artifact includes the specifications that were used in the experiments that are described in the paper. It further includes an executable that allows interested readers to reproduce these experiments and inspect their results. Additionally, the executable is applicable to any specification in Spectra format, which allows conducting similar experiments over any Spectra specification. We hope the artifact will be useful for researchers who are interested in reactive synthesis, specifically in different means to deal with unrealizable specifications.

Original languageEnglish
Title of host publication2021 IEEE/ACM 43rd International Conference on Software Engineering
Subtitle of host publicationCompanion Proceedings, ICSE-Companion 2021
PublisherIEEE Computer Society
Pages217-218
Number of pages2
ISBN (Print)9781665412193
DOIs
StatePublished - May 2021
Event43rd IEEE/ACM International Conference on Software Engineering: Companion, ICSE-Companion 2021 - Virtual, Online, Spain
Duration: 25 May 202128 May 2021

Publication series

NameProceedings - International Conference on Software Engineering
ISSN (Print)0270-5257

Conference

Conference43rd IEEE/ACM International Conference on Software Engineering: Companion, ICSE-Companion 2021
Country/TerritorySpain
CityVirtual, Online
Period25/05/2128/05/21

Keywords

  • Reactive systems
  • Specification
  • Unrealizability

Fingerprint

Dive into the research topics of 'Unrealizable Cores for Reactive Systems Specifications: Artifact'. Together they form a unique fingerprint.

Cite this