E1. Basic step-by-step simulation #

The simulation feature currently requires the Eclipse plug-ins and is not yet supported on the Formal Methods Playground ( https://play.formal-methods.net/?check=SPECTRA ).

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

Solution #

The simulation feature currently requires the Eclipse plug-ins and is not yet supported on the Formal Methods Playground ( https://play.formal-methods.net/?check=SPECTRA ).

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

Return to the Spectra Tutorial Overview