Hello. I've decided to start a blog to help CodeContracts users, present some tricks to get the best from the tools, in particular the static checker and in general to give some update on what's new and cool in the program analysis and verification environments as well as to explain some of the theory and the concepts that are at the base of static analysis and verification