Formal Verification

concepts · 6 notes linked

Related: Lean Prover · Quanta Magazine · Mathematical Proof · Foundations Of Mathematics · Lean · Michael Douglas · Interactive Theorem Proving · Quantum Field Theory

Notes

• Blog :: What I've Learned About Formal Methods In Half a Year — Practical introduction to formal methods via model checking and theorem proving
• Computing Expert Says Programmers Need More Math | Quanta Magazine — Leslie Lamport argues formal specification and math are essential for correct software
• Formalising mathematics - an introduction — Kevin Buzzard on Lean proof assistant and digitizing mathematics
• Formalization of QFT — Lean 4 machine-checked proof of free bosonic quantum field theory axioms
• Machine Learning & Neural Research - Chapelle — Overview of ML research topics including spectral CNNs and formal verification
• Why Mathematical Proof Is a Social Compact | Quanta Magazine — Mathematical proof as community social compact, not pure objective truth