Overview and Examples of Formal Methods Playground

We started a small overview of the features of the Formal Methods Playground and how to use it.

The playlist is availabe on YouTube and expected to grow over time. After a quick overview of the common features of the playground, we illustrate the use of different tools by explaining concrete, small examples.

The example specifications are linked in the YouTube video description of each video. You can execute them directly online.