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.
These details are provided for information only. No information here is legal advice and should not be used as such.