Playground

A online playground for formal methods tools. It is a web application that allows users to run formal methods tools in the browser.