Formal Methods

Articles, guides, and notes on Formal Methods.

• Reading Tamarin Prover Output: A Visual Tutorial
  2026-04-29

  Read proof trees, trace protocol attacks, and make sense of Tamarin’s dependency graphs.

  Formal MethodsTutorialSecurity
• Formalizing Program Analysis in Lean 4
  2025-04-03

  Build a verified program analysis with abstract interpretation and machine-checked proofs.

  Formal MethodsProgramming
• Coq Cheatsheet: Tools and Tactics for Goal Solving
  2023-12-19 · Updated 2026-06-26

  A practical, interactive reference to everyday proof tactics, with worked examples.

  Formal MethodsReference