The project advanced in four fronts: language, analyses, tools, and evaluation. At the language front, it introduced Spectra, a new expressive yet easy to use specification language, specifically tailored for use in the context of reactive synthesis by software engineers. At the analyses front, it developed analyses that assist software engineers in writing high-quality specifications for synthesis, such as means to identify problems in specifications and debug them. At the tools front, we have implemented and integrated the language and analyses into the popular Eclipse development platform, to allow software engineers to actually use them, and to serve as a test bad for reactive synthesis and a concrete platform for future research. Finally, at the evaluation front, we have introduced Spectra to hundreds of undergraduate computer science students in project classes we have taught and thus collected and published new benchmark specifications and learned about the specific challenges engineers may experience when writing specifications and using a synthesizer.
Overall, the project results advanced the state-of-the-art in reactive synthesis, towards its use by software engineers.