Dafny
dafny.org
The Dafny Programming and Verification Language and tools

I saw this posted on r/ProgrammingLanguages. I hadn't heard of this language before, but it looks neat.

https://en.wikipedia.org/wiki/Dafny