Yeah true, it is used in some industries such as the space and flight industries, where you want to be sure your code is correct.

However it comes with a range of problems, and often its not worth going into the effort of formally verifying a contract. But with ether, the costs quickly outweigh the ptential losses.

I don't know if it will work, in theory it can, i just wanted to be possitive: I see a light at the end of the tunnel.