A online playground for formal methods tools- limboole, z3, nuXmv, Alloy, and Spectra. It is a web application that allows users to run formal methods tools in the browser. This project is a part of the Formal Methods course at the Bauhaus-Universität Weimar.
se-buw/fm-playground
A Formal Method playground for limboole, Z3, nuXmv, Alloy, and Spectra
TypeScript
6
2
For more information, visit the https://play.formal-methods.net/.
For latest updates and news, follow the FM Playground Blog.
Overview & Examples#
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.