What is TLA+ (Wikipedia)
https://lamport.azurewebsites.net/tla/tla.html
https://marketplace.visualstudio.com/items?itemName=alygin.vscode-tlaplus
https://learntla.com/