A Fast and Safe Python based on PyPy
-
Updated
Aug 6, 2023 - Python
A Fast and Safe Python based on PyPy
alpha-beta-CROWN: An Efficient, Scalable and GPU Accelerated Neural Network Verifier (winner of VNN-COMP 2021, 2022, and 2023)
Easiest-ever formal methods language! Designed for developers crafting distributed systems, microservices, and cloud applications
CoreIR Symbolic Analyzer
The Verifiably Safe Reinforcement Learning Framework
Lyapunov-stable Neural Control for State and Output Feedback
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/
Read-only mirror of the Klever Git repository
Python library used to safely control drone swarms and drone fleets with MAVLink
Equilibrium Verification Environment (EVE) is a formal verification tool for the automated analysis of temporal equilibrium properties of concurrent and multi-agent systems.
Intrepyd Model Checker
Solving Sudokus using open source formal verification tools
This is an example of the design-by-contract method
Provides a packaged collection of open source EDA tools
LSVerifier - Large Systems Verifier
Normalizing flows for neuro-symbolic AI
Translates Bluespec SystemVerilog to Kami for use with the coq proof assistant.
Automated Proofs about floating-point numbers using Z3 Theorem Prover
Add a description, image, and links to the formal-verification topic page so that developers can more easily learn about it.
To associate your repository with the formal-verification topic, visit your repo's landing page and select "manage topics."