Comment by atomicnature

Specification languages need big investments essentially - both in technical and educational terms.

Consider something like TLA+. How can we make things such as that - be useful in an LLM orchestration framework, be human friendly - that'd be the question I ask.

So the developer will verify just the spec, and let the LLM match against it in a tougher way than it is possible to do now.