L2. Advanced language constructs #

Specification TrafficL2 with a define on the playground: https://play.formal-methods.net/?check=SPECTRA&p=green-tried-velvet-unhook

Specification GridL2 with predicates, types, and arrays on the playground: https://play.formal-methods.net/?check=SPECTRA&p=quilt-jogger-dosage-flap

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

Solution #

Specification TrafficL2 solution on the playground: https://play.formal-methods.net/?check=SPECTRA&p=chill-sadden-stood-sage

Specification GridL2 solution on the playground: https://play.formal-methods.net/?check=SPECTRA&p=google-reply-waving-eaten

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

Return to the Spectra Tutorial Overview