formal-methods topic

A tool for Model Based Testing

TorXakis

A toolbox for dealing with formal models from construction to analysis based on the JANI-model interchange format.

koehlma

Node and GUI for the Zen Protocol.

zenprotocol

The Verifiably Safe Reinforcement Learning Framework

IBM

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

Sophietje

Formal specifications of the cardano ledger

IntersectMBO

A modular library for CDCL(T) SMT solvers, with [wip] proof generation.

c-cube

Collection of resources for research concerning Machine Learning and Formal Methods.

jdnklau

Cryptographic protocol analysis for real-world protocols.

symbolicsoft

This repository contains specifications, proof scripts, and other artifacts required to formally verify portions of AWS libcrypto. Formal verification is used to locate bugs and increase assurance of...

awslabs