Формальная спецификация

Есть ли какая-либо библиотека / инструмент для формальной спецификации на C ++, например JML для Java и Контракты данных в C #?

РЕДАКТИРОВАТЬ:

Я не ищу чего-то более конкретного, чем это практично в использовании и добавляет некоторую ценность / качество.

РЕДАКТИРОВАТЬ2:

Я не ищу инструменты UML, см. Приведенные мной примеры.