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