formal-methods topic

Creusot helps you prove your code is correct in an automated fashion.

creusot-rs

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

sarsko

Automated Schedule Generation for Time-Sensitive Networks (TSN).

ACassimiro

Links to tools by subject

johnyf

the champagne of beta embedded databases

spacejam

My own notes (drafts mostly) about software quality

ligurio

ACL2 System and Books as Maintained by the Community

acl2

A gently curated list of companies using verification formal methods in industry

ligurio

A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.

magmide

Verified Software Toolchain

PrincetonUniversity