L1. Write your first specification #

Specification TrafficL1 on the playground: https://play.formal-methods.net/?check=SPECTRA&p=apron-veto-army-arming

Specification GridL1 on the playground: https://play.formal-methods.net/?check=SPECTRA&p=stack-gaffe-ecard-record

Spectra project on GitHub: https://github.com/jringert/spectra-tutorial/tree/main/L1_firstSpec

Solution #

Specification TrafficL1 on the playground: https://play.formal-methods.net/?check=SPECTRA&p=boozy-flask-could-only

Specification GridL1 solution on the playground: https://play.formal-methods.net/?check=SPECTRA&p=trench-avenge-never-sloppy

Spectra project on GitHub: https://github.com/jringert/spectra-tutorial/tree/main/L1_firstSpec_solution

Return to the Spectra Tutorial Overview