Contracts design pattern in C [closed]

Question

Closed. This question does not meet Stack Overflow guidelines. It is not currently accepting answers.

---

Questions asking us to recommend or find a tool, library or favorite off-site resource are off-topic for Stack Overflow as they tend to attract opinionated answers and spam. Instead, describe the problem and what has been done so far to solve it.

Closed 8 years ago.

Improve this question

Is there a library/framework/article that describes ways to use contracts in C I mean code that is more then obvious asserts

for example somting like: Programming with Contracts in C++

but for C

Answer 1

I do DbC as described here by Samek.

http://www.barrgroup.com/Embedded-Systems/How-To/Design-by-Contract-for-Embedded-Software