formal-methods topic
P
The P programming language.
hardware
Verilog development and verification project for HOL4
reelay
A header-only C++ library for system-level verification and declarative testing of real-time systems with Python bindings.
tutoriel_wp
Frama-C and WP tutorial
snapshot-isolation-spec
A formal specification of snapshot isolation.
ddsv-go
A toy deadlock detector written in Go. 🔍
lisa
📚 a modular easy to use Library for Static Analysis aiming at multi-language analysis
overture
The Overture Tool
aeneas
A verification toolchain for Rust programs
charon
Interface with the rustc compiler for the purpose of program verification