formal-specification topic
List
formal-specification repositories
learntla-v2
173
Stars
39
Forks
Watchers
Learn TLA+ for free! No prior experience necessary!
spectacle
125
Stars
9
Forks
Watchers
Interactive, web-based tool for exploring, visualizing, and sharing formal specifications in TLA+.
klever
20
Stars
12
Forks
Watchers
Read-only mirror of the Klever Git repository
workcraft
55
Stars
142
Forks
Watchers
Toolset to capture, simulate, synthesize and verify graph models
grift
54
Stars
8
Forks
Watchers
Galois RISC-V ISA Formal Tools
aws-lc-verification
21
Stars
15
Forks
Watchers
This repository contains specifications, proof scripts, and other artifacts required to formally verify portions of AWS libcrypto. Formal verification is used to locate bugs and increase assurance of...