2015-10-13 The design-by-contract approach [0] looks promising to me: Pre- condition + post-condition + invariants. [0] https://en.wikipedia.org/wiki/Design_by_contract http://marmaro.de/lue/ markus schnalke