This article is part of the Embedded Software Series: Enforced Coding Using Ada Contracts
What do you do to make your code behave as intended? And are the methods you chose as effective in finding problems as you thought? In this article, the first of a two-part series, I will write a piece of code in Ada and then try to find bugs with two different methods...