Anonymous
6/12/2025, 7:30:28 AM
No.105568331
This is the kind of shit AI will do for us automatically. Humans will just review the requirements which the AI will happily convert back and forth between natural language and formal language and point out edge cases for us.
I think people overcomplicate things though. I think a simple first order logic system is probably enough.
I don't think formal verification is that important though. Testing, code review, documentation, modularity, good design, functional programming gets you 99% of the way there.
I think people overcomplicate things though. I think a simple first order logic system is probably enough.
I don't think formal verification is that important though. Testing, code review, documentation, modularity, good design, functional programming gets you 99% of the way there.