Formal Methods

concepts · 1 notes linked

Related: Z3 · Lean Prover · Formal Verification · Model Checking · Theorem Proving

Notes

• Blog :: What I've Learned About Formal Methods In Half a Year — Practical introduction to formal methods via model checking and theorem proving