In this module we review the concept of well-separation, checking non-well-separation, and computing non-well-separation cores.
Analyze specification TrafficA3b.spectra for non-well-separation and identify reasons for non-well-separation, if any.
This module is part of a tutorial on the Spectra language and tools for reactive synthesis. More information and materials are available from the SYNTECH project website.