Also from Leslie Lamport is this amusing course on TLA+ which is a good intro into Formal Specifications. https://lamport.azurewebsites.net/tla/tla.html https:

Also from Leslie Lamport is this amusing course on TLA+ which is a good intro into Formal Specifications. https://lamport.azurewebsites.net/tla/tla.html https://lamport.azurewebsites.net/tla/tla.html