Program synthesis tool.

Program Synthesis Course

Dafny is a verification-aware programming language

Ethereum smart contract fuzzer

Simple demo showing to use Verisol and Veriman for checking an ERC20 implementation

solver for the reachability modulo theories problem

A formal verifier and analysis tool for Solidity Smart Contracts

Boogie