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-get

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-more-programs-less-wrong.html https://www.thestrangeloop.com/2018/contracts-for-getting-mo... [1] https://www.hillelwayne.com/talks/beyond-unit-tests/ https://www.hillelwayne.com/talks/beyond-unit-tests/