Parasoft® C++test Comprehensive Code Quality Tools for C/C++ Development.
Secure Code Development What are the risks of delivering insecure applications or software products? How can a company ensure they produce secure code?
An Integration of Program Analysis and Automated Theorem Proving Bill J. Ellis & Andrew Ireland School of Mathematical & Computer Sciences Heriot-Watt.