MATLAB Independent, Small & Safe, High Integrity Tools - code formatter and more
-
Updated
Sep 2, 2024 - Python
MATLAB Independent, Small & Safe, High Integrity Tools - code formatter and more
CoreIR Symbolic Analyzer
Read-only mirror of the Klever Git repository
The Verifiably Safe Reinforcement Learning Framework
Z-EVES for linux. Probably the only place you can find it
Easiest-ever formal methods language! Designed for developers crafting distributed systems, microservices, and cloud applications
A script for running TLA+/TLC from the command line
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.
WAFEx Model Creator.
A set of algorithms for the formal verification and analysis of Neural Networks, implemented in Python.
Information about verification tools. Browse the data at https://slebok.github.io/proverb/
EMME: ECMAScript Memory Model Evaluator
Intrepyd Model Checker
Temporal Logic of Actions Modeling for Python
🤖KORG: Tool, Models, and Supplementary Materials for Attacker Synthesis
Implementation of verification algorithms for the Pareto-Rational Verification problem (PRV problem).
Web Application Formal Exploiter.
A docker environment and notebooks to experiment with Generative Adversarial Imitation Learning and Formal Methods
Alloy analyser running in gitpod.io
Interactive Teaching Application on SAT solvers in Formal Methods
Add a description, image, and links to the formal-methods topic page so that developers can more easily learn about it.
To associate your repository with the formal-methods topic, visit your repo's landing page and select "manage topics."