I'd binge Hillel Wayne's stuff.

https://www.hillelwayne.com/tags/formal-methods/