L3. Advanced language constructs #

Specification TrafficL3 on the playground: https://play.formal-methods.net/?check=SPECTRA&p=cacti-gigolo-rush-crave

Specification GridL3 on the playground: https://play.formal-methods.net/?check=SPECTRA&p=sprig-trench-keenly-upwind

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

Solution #

Specification TrafficL3 solution on the playground: https://play.formal-methods.net/?check=SPECTRA&p=java-around-stamp-uncle

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

Return to the Spectra Tutorial Overview