Formal Methods for Verification - nimrody/knowledgebase GitHub Wiki Getting into TLA+ P Dafny language Blog - what I've learned about formal methods