Videos on Formal Methods

(Part of the great tab cleanup)

• Bryan Cook on making mathematical proofs a business at Amazon
• Informal Systems on Formal Verification of Tendermint using Apalache and TLA+
• example English specification 
• example code in TLA+