D2. Working with counter-strategies API #

In this module we will use the API to generate counter-strategies for unrealizable specifications.

We will then create console applications with all dependencies packaged to run the Java/Spectra process externally.

Code available from: https://github.com/jringert/spectra-tutorial/tree/main/D2_counter-strategy

Return to the Spectra Tutorial Overview