Code Contracts #3: Contract checking

In this blog post, I dig even deeper to show the two main elements, how contracts on your code are checked: the dynamic checker and the static checker. It's described how both components work and how they implement the principles of validation and verification of code.