A3. Non-well-separation #

Specification GridA3 on the playground: https://play.formal-methods.net/?check=SPECTRA&p=petted-quiver-lash-seduce

Specification TrafficA3a on the playground: https://play.formal-methods.net/?check=SPECTRA&p=mouth-fossil-amber-lying

Specification TrafficA3b on the playground: https://play.formal-methods.net/?check=SPECTRA&p=pug-coma-shrill-yard

The Spectra project of this video project on GitHub: https://github.com/jringert/spectra-tutorial/tree/main/A3_wellseparation

Solution #

Specification TrafficA3b on the playground: https://play.formal-methods.net/?check=SPECTRA&p=pug-coma-shrill-yard

The Spectra project of this video project on GitHub: https://github.com/jringert/spectra-tutorial/tree/main/A3_wellseparation

Return to the Spectra Tutorial Overview