Z3

entities · 1 notes linked

Related: Lean Prover · Formal Methods · 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