In this article, I?ll go through the features of side contract-based tools in .NET Framework Code Contracts. In particular, I?ll focus on Assert and Assume methods. ...