3 ms·It is a way to formally verify Ada, it meets all those criterias.by pjmlp 4mo agoIt is a way to formally verify Ada, it meets all those criterias.bneb-dev 4mo agoIt looks like verification is distinct from the compiler.