L4. Triggers #

Specification TrafficL4 on the playground: https://play.formal-methods.net/?check=SPECTRA&p=python-pout-visa-whacky

Specification GridL4 on the playground: https://play.formal-methods.net/?check=SPECTRA&p=corner-steed-coma-mousy

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

Solution #

Specification GridL4 solution on the playground: https://play.formal-methods.net/?check=SPECTRA&p=eskimo-maggot-moaner-turkey

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

Return to the Spectra Tutorial Overview