search

ligurio / practical-fm

A gently curated list of companies using verification formal methods in industry
495 stars 36 forks source link

Add TLA+ proofs for Linux Kernel algorithms? #3

Closed dgryski closed 5 years ago

dgryski commented 5 years ago

https://git.kernel.org/pub/scm/linux/kernel/git/cmarinas/kernel-tla.git/about/

ligurio commented 5 years ago

Yeah, TLA+ models have been added by ARM employee. Thanks!