My colleague and friend @nk produced an amazing introductory video for his new cryptographic protocol analysis tool . Give it a shot if you'd like to get started with formal verification, Verifpal is beginner-friendly!

Find Verifpal over here:

Sign in to participate in the conversation – a Fediverse instance for & by the Chaos community