What is the most widely used open source project that uses design by contract?

Question

I am curious how many contract projects are used in practice outside the Eiffel community. Are there any active open source projects that use design behind a contract?

Or, to reformulate the question into one that has one answer: what is the most widely used (non-air) open source project that uses design behind a contract?

Answer 1

The "non-etheric" part of your question is interesting. Contracts make sense when there is support for them in a programming language, otherwise it's just a good syntax for comments.

This leads us to contract-supported languages. I know three people except Eiffel:

• ESC / Java adds contracts to Java using a language called JML .
• .NET contracts for all .NET languages ​​(works at the bytecode level)
• Frama-C Adds C Contracts Using ACSL

The first two have executable contracts. Benefits: Can be used as runtime statements. Disadvantages: lack of expressive ability to fully indicate what the function does in the contract. You can basically only write health checks.

ACSL, , . , , . ACSL , Hoare.

( : Frama-C, ACSL - , , ), "ACSL " - C ACSL, Fraunhofer FIRST. , Device-soft. , , . , -.