Imandra FIX Engine
Frama-C and WP tutorial
The Overture Tool
A tool for Model Based Testing
Formal semantics of LLVM IR in K
[research] A modular SMT solver in OCaml, based on mcSAT
Node and GUI for the Zen Protocol.
Experimental Smart Contracts In Plutus.
A toy deadlock detector written in Go. 🔍
High-assurance implementation of the Ouroboros protocol family