3 ms·Check out Dafny, Whiley, and Liquid Haskell.by bjz_ 9y agoCheck out Dafny, Whiley, and Liquid Haskell.naasking 9y agoAda also supports contracts, as does .NET with code contracts.