Library to facilitate the use of the “design by contract” principle [closed]

Answer 1

Try this one: Contract++. It has been accepted to Boost (but is not shipping yet).