brauner / linux-formal
git clone https://github.com/brauner/linux-formal.git
TLA+ models of Linux kernel protocols
+2
stars, 24h · #11,783
+4
stars, 7 days · #24,777
+~15
stars, 30 days · #29,246
40
★ total · +4% this week
2
forks · 0 open issues
Star history (as recorded here)
LanguageTLA
LicenseMPL-2.0
Created2026-09-20 (1mo ago)
Last push16d ago
OwnerUser
Links
README
Loading README…