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

参加 July 2018

27 フォロー中 50.1K ファン

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