Reactive Synthesis with Spectra - Tutorial #

This tutorial describes the Spectra language and tools for reactive synthesis.

This tutorial has been tested with Eclipse Modeling Tools 2025-03. Some screen captures in the videos might be from older versions of Eclipse.

Video Tutorials #

See the YouTube playlist for all videos.