Projects
Table of Contents
FM Playground#
A online playground for formal methods tools. It is a web application that allows users to run formal methods tools in the browser.
For more information, visit the https://play.formal-methods.net/.
For latest updates and news, follow the FM Playground Blog.
Z3 VSCode Extension#
Aavailable on the Visual Studio Marketplace
A Visual Studio Code extension for the SMT Z3 theorem prover. The extension provides a user-friendly interface to run the Z3 solver in the VS Code editor without installing Z3 separately.
Limboole VSCode Extension#
Aavailable on the Visual Studio Marketplace
A Visual Studio Code extension for the Limboole Boolean Satisfiability Solver. It supports syntax highlighting and language server features for Limboole files.
For legacy projects, please visit my GitHub profile.