There are many tools available to developers of high-integrity software to enhance productivity and code quality. Today I will look at some of them in brief. Future articles will explore some of them in more depth. continue reading…