Verify is directly associated with ensuring the quality of the software release; activities designed to ensure code quality is maintained and the highest quality is deployed to production.
The main activities in this are:
Notable vendors and solutions for verify related activities generally fall under four main categories: Test automation (ThoughtWorks, IBM, HP), Static analysis (CAST, Parasoft, Microsoft, SonarSource), Test Lab (Skytap, Microsoft, Delphix), and Security (HP, IBM, Trustwave, FlawCheck).