[omeid2]

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