Spectra: A Specification Language for Reactive Systems

04/14/2019
by   Shahar Maoz, et al.
0

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.

READ FULL TEXT

Please sign up or login with your details

Forgot password? Click here to reset