Software Requirements Verification Tools: The software requirements phase of the SLDC produces requirements documents that can be examined by SA tools. This area of software assurance is still in the domain of research, and a suite of widely-used, peer-reviewed software requirements analysis tools does not exist today. However, a list of functions gathered from previous work at NASA  provide a basis for describing the functionality that that such a class of tools should have.
The functions of requirements verification tools include determining whether those requirements are:
 NASA Automated Requirement Measurement Tool