Easiest-ever formal methods language! Designed for developers crafting distributed systems, microservices, and cloud applications

MATLAB Independent, Small & Safe, High Integrity Tools - code formatter and more

A script for running TLA+/TLC from the command line

CoreIR Symbolic Analyzer

The Verifiably Safe Reinforcement Learning Framework

This tool presents a novel approach to bolstering network protocol verification by integrating the Shadow network simulator with the Ivy formal verification tool to check time properties. Furthermore, it extends Ivy’s capabilities with a dedicated time module, enabling the verification of complex quantitative-time properties.

Information about verification tools. Browse the data at https://slebok.github.io/proverb/

Z-EVES for linux. Probably the only place you can find it

Read-only mirror of the Klever Git repository

Intrepyd Model Checker

🤖KORG: Tool, Models, and Supplementary Materials for Attacker Synthesis

Temporal Logic of Actions Modeling for Python

[Usenix Security '25] Robustifying ML-powered Network Classifiers with PANTS

EMME: ECMAScript Memory Model Evaluator

Web Application Formal Exploiter.

🔍A deep dive into Formal Methods in Software Engineering 📜—exploring automata, logic, verification, and specification techniques to ensure software correctness and reliability.

A Python package for deal with logical formulas and formal systems (e.g. FOL)

Concept of Python-based Formal Verification Framework

Splitting signal temporal logic (STL) specifications in time

Formal Methods in Software Development Project 2019/2020 - Generation of a controller for a game grid with obstacle and goal cell. The controller is generated by interrogating NuSMV as a blackbox and using the output appropriately.