I think would be more helpfull if Google invest into model and describe Linux Kernel with TLA+. I googled ad found only one person trying doing it (https://git.

I think would be more helpfull if Google invest into model and describe Linux Kernel with TLA+. I googled ad found only one person trying doing it (https://git.kernel.org/pub/scm/linux/kernel/git/cmarinas/kernel-tla.git/ https://git.kernel.org/pub/scm/linux/kernel/git/cmarinas/ker...)