[heikkilevanto]

I admit I have never worked with it, but I have a strong feeling that a formal verification can only work if you have a formal specification. Fine and useful for a compiler, or a sorting library. But pretty far from most of the coding jobs I have seen in my career. And even more distant from "vibe coding" where the starting point is some vaguely defined free-text description of what the system might possibly be able to do...

[tkel]

Agreed, writing formal specifications is going to require more work from people, which is exactly the opposite reason why people are excited to use LLMs..