formal-methods topic

An instructional website with progressively worked examples of TLA+ specifications and model checking.

ElliotSwart

[research] A modular SMT solver in OCaml, based on mcSAT

c-cube

Formal semantics of LLVM IR in K

davidlazar

Z-EVES for linux. Probably the only place you can find it

arandilopez

Unassorted scribbles on formal methods, type theory, category theory, and so on, and so on

mgrabovsky

Curated List of Research Focused Reading Materials & Videos for Learning about Programming Language Theory Research, Formal Methods and their application in some most active computer Science fields.

SatyendraBanjare

Build an educational formally verified version of the Nand 2 Tetris course using Coq (and other formal tools).

philzook58

Imandra FIX Engine

imandra-ai

imandra-ai

data61