I think Dafny is an interesting approach - https://www.microsoft.com/en-us/research/project/dafny-a-lan...