Formi
HomeFeaturesApp

FOL Model Checking

Try.
Learn.
Understand.

Formi is a web-application for model checking first-order-logic formulas. Interactive graphs visualize models that are defined using an intuitive YAML-based editor.

Real-time validation of formula and model inputs results in a near-instantaneous feedback cycle. Formulas and evaluation results are displayed as trees, presenting insight into the formula AST and model checking results.

Try Now Read More Learn more about the features of Formi.
Image of two abstract machines with white bodies and golden decorations, generated by Midjourney and licensed under CC BY-NC 4.0.Image of two abstract machines with white bodies and golden decorations, generated by Midjourney and licensed under CC BY-NC 4.0.