There is a lot of work done now with formal methods used for smart contract verification. MakerDAO formally verified correctness of their contracts last year: h

There is a lot of work done now with formal methods used for smart contract verification. MakerDAO formally verified correctness of their contracts last year: https://github.com/dapphub/k-dss/ https://github.com/dapphub/k-dss/