FM Playground

We’re thrilled to announce that the FM Playground has successfully migrated back to its main production server at Bauhausstrasse 11. The past month saw some major changes, including the relocation of the Faculty of Media.

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.