AI Chat AI Image Generator AI Video Text to Speech

Spectra: A Specification Language for Reactive Systems

04/14/2019

∙

by Shahar Maoz, et al.

∙

∙

Spectra is a new specification language for reactive systems, specifically tailored for the context of reactive synthesis. The meaning of Spectra is defined by a translation to a kernel language. Spectra comes with the Spectra Tools, a set of analyses, including a synthesizer to obtain a correct-by-construction implementation, several means for executing the resulting controller, and additional analyses aimed at helping engineers write higher-quality specifications. We present the language and give an overview of the tool set.

Shahar Maoz
4 publications
Jan Oliver Ringert
4 publications

research

∙ 01/03/2019

The Challenges in Specifying and Explaining Synthesized Implementations of Reactive Systems

In formal synthesis of reactive systems an implementation of a system is...

0 Hadas Kress-Gazit, et al. ∙

research

∙ 02/27/2021

Unrealizable Cores for Reactive Systems Specifications

One of the main challenges of reactive synthesis, an automated procedure...

0 Shahar Maoz, et al. ∙

research

∙ 03/15/2021

Specification Decomposition for Reactive Synthesis (Full Version)

Reactive synthesis is the task of automatically deriving an implementati...

0 Bernd Finkbeiner, et al. ∙

research

∙ 12/29/2020

Explainable Reactive Synthesis

Reactive synthesis transforms a specification of a reactive system, give...

0 Tom Baumeister, et al. ∙

research

∙ 05/26/2021

TEMPEST – Synthesis Tool for Reactive Systems and Shields in Probabilistic Environments

We present Tempest, a synthesis tool to automatically create correct-by-...

0 Stefan Pranger, et al. ∙

research

∙ 06/01/2022

The Reactive Synthesis Competition (SYNTCOMP): 2018-2021

We report on the last four editions of the reactive synthesis competitio...

0 Swen Jacobs, et al. ∙

research

∙ 10/12/2019

Minimal Assumptions Refinement for GR(1) Specifications

Reactive synthesis is concerned with finding a correct-by-construction c...

0 Davide G. Cavezza, et al. ∙