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.
se-buw/fm-playground
A Formal Method playground for limboole, Z3, nuXmv, Alloy, and Spectra
TypeScript
8
2
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.
soaibsafi/smt-z3-vscode
VSCode extension for SMT2 language with Z3 solver
TypeScript
0
0
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.
soaibsafi/limboole-vscode
Visual Studio Code extension for Limboole
TypeScript
0
0
For legacy projects, please visit my GitHub profile.