mssabr01

Mehdi Sabraoui's starred repositories

The seL4 microkernel

Language:CNOASSERTION4623 206 412

TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.

Language:JavaMIT2262 55 781

HACL*, a formally verified cryptographic library written in F*

Language:F*Apache-2.01605 77 226

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

A TLA+ guide

Language:CSSCC-BY-4.0278 17 46

Join our slack channel

Language:PythonNOASSERTION203 32 2

Return Oriented Programme Evolution with ROPER

Language:Common Lisp168 18 1

TLA+ specification for the Raft consensus algorithm (with Pre-Vote)

Language:TLA12 30

Collection of exercise solutions

Language:C1 1 1