If anything can go wrong, it will and at the worst possible moment!(MURPHY'S LAW) C is a tool which provides a Design by Contract extension for C++. It integrates with Microsoft Visual Studio 6.0. Using C , you will find errors in your code faster and at an earlier stage of development. Thus you will dramaticaly shorten your development process and reduce its costs. C fits seamlessly into the development environment of Microsoft Visual Studio 6.0 and it guarantees more security, higher quality and enhanced comprehensibility from the first minute on. You can integrate it with any project, also with one which is already begun. C works very well with other security-relevant coding methods such as unit tests or regression tests. C is not a new language but a code generator for C++ which can be turned on or off at your demand. It is simple to add pre- and postconditions as well as invariants to your class interfaces. C is also availiabel for Linux Environment.