Java has JML [0] and Python has all sorts of DBC libraries that can accomplish something similar [1].

[0] https://www.thestrangeloop.com/2018/contracts-for-getting-mo...

[1] https://www.hillelwayne.com/talks/beyond-unit-tests/