Who verifies the specification? I can´t stand the intellectual dishonesty of formal methods people.

> Who verifies the specification?

If you know how to prove something without making an initial assumption, let us know.

If you think you can reduce those assumptions, also let us know.

There should not be a "who" involved at all. That's not proof. That's trust.