kernel-tla.git - Kernel TLA+ specs

git.kernel.org

saved by: 0 people
related read on: Introduction to TLA+ Model Checking in the Command Line from the discussion