Model Checking

concepts · 1 notes linked

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