- S. Maoz and J. O. Ringert, Spectra: A Specification Language for Reactive Systems. Software and Systems Modeling, 2021.
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 or Mac) 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:
Note: Mac users, starting July 2023, Spectra IDE should be compatible with M1. If you use M2, use "Eclipse/Window/Preferences/Spectra" to change the BDD engine to "JTLV package".
- Optionally download example Spectra projects that you can import to your Eclipse workspace: TowersOfHanoi, MonkeyRunner.
Spectra source code is available from GitHub