Здравствуйте, bazis1, Вы писали:

B>P.S. Кстати, подобное давно реализовано в тех же Code Contracts от MS, но они за пределами research особо не популярны.

Подобное реализовано в решарпере. А CodeContracts копает несколько глубже — статическим анализом пытается устранить рантайм проверки. Но качество реализации — увы, увы.