If you are into model checking or find TLA+ painful join us at the London Clojurians meetup: Recife - Testing your code with the help of a model checker (by Paulo Feodrippe) https://www.meetup.com/London-Clojurians/events/279398890/