verification topic

CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.

sarsko

✅ Generate functional tests automatically from your Agile specification

thiagodp

🧬 Check if a user owns the specific item(s) in their Steam library and give them roles! Discord bot and API.

eggsy

Verified, concurrent, crash-safe transaction system

mit-pdos

Verifying concurrent crash-safe systems

mit-pdos

Links to tools by subject

johnyf

ECMAScript verification with SMT solvers

levjj

contrib/amcheck from Postgres v11 backported to earlier Postgres versions

petergeoghegan

Simple Theorem Prover, an efficient SMT solver for bitvectors

stp

Open Source License Key Generation and Verification Tool written in Go

furkansenharputlu