Spectra Language and Spectra Tools

Spectra logo

Spectra Language

Spectra Tools

  • A packaged Eclipse Oxygen for Windows 64Bit with the Spectra Tools installed is available for download.
  • We provide an update site for Eclipse Oxygen: http://smlab.cs.tau.ac.il/syntech/spectra/tools/update/.

Collections of Specifications