Spectra Language and Spectra Tools
Spectra Language
- S. Maoz and J. O. Ringert, Spectra: A Specification Language for Reactive Systems. Software and Systems Modeling, 2021.
Spectra Language and Spectra Tools User Guide
ICSE'21 Technical Briefing: Reactive Synthesis with Spectra: A Tutorial
Spectra Tools: Packaged Version / Source Code
- Download and install Eclipse for Java and DSL Developers (Windows 64Bit or Linux) Note: When you run the Eclipse installer, remember to choose "Eclipse IDE for Java and DSL Developers"
- Use "Eclipse/Help/Install new software..." to install Spectra Tools from our update site:
https://raw.githubusercontent.com/SpectraSynthesizer/spectra-update-site/main/ - Optionally download example Spectra projects that you can import to your Eclipse workspace: TowersOfHanoi, MonkeyRunner.
Spectra source code is available from GitHub