Devcon 9 | Lisbon(@EFDevcon):“If you take code that is very, very complex, inductive reasoning becomes difficult, and formal verification also becomes challenging, even in the age of AI. In some sense, the beauty of formal verification is that we can also forget about it. Mathematical induction is what drives formal verification in many tools, including ours.”

Devcon 9 | Lisbon

@EFDevcon

The flagship event by @ethereumfndn. Devcon 9 | Lisbon, Portugal Oct 11-13, 2027

Joined July 2018

27 Following 50.1K Followers

Devcon 9 | Lisbon@EFDevcon

2026.11.03 08:16

“If you take code that is very, very complex, inductive reasoning becomes difficult, and formal verification also becomes challenging, even in the age of AI. In some sense, the beauty of formal verification is that we can also forget about it. Mathematical induction is what drives formal verification in many tools, including ours.” - @SagivMooly