Design by Contract for C.
Generate Design by Contract code and documentation from tags embedded in C comments. Runtime checking of Preconditions, Postconditions and Invariants. Create Doxygen documentation from contracts.