Monthly Archives: August 2011

New Software Verification Tools: Mathematical Proof Techniques, Automated Requirements Tracing

Approaches to software verification tools are widely varied, but tend to segment into static tools, which work with the source code itself, and dynamic test tools, which execute the code with test cases to verify that the software works correctly. New kinds of dynamic software code verification tools seek to automate the process of following software verification requirements.

Continue reading