Programming Research brengt een compleet verificatiepakket voor broncode uit waarmee niet alleen ontwikkelaars maar ook architecten en projectmanagers en eventueel het senior management, externe klanten en leveranciers inzicht kunnen krijgen in de software. QA Verify (voorheen Management Information System) ontsluit de resultaten van statische codeanalyse met QA C en QA C++ via een webgebaseerde interface. Het platform geeft gebruikers hiermee een inkijkje in projectanalyse- en kwaliteitsdetails via diverse rapportagemogelijkheden.
QA Verify is beschikbaar in drie uitvoeringen. De Viewer Edition is bedoeld voor een bredere groep gebruikers en biedt gemakkelijke toegang tot de diagnostische aantekeningen die QA C en QA C++ leveren bij de broncode. De Professional Edition is geïntegreerd in de buildomgeving en gekoppeld aan het versiebeheersysteem en voegt historische trendinformatie toe. De Enterprise Edition ten slotte helpt organisaties bij het verifiëren of de code overeenstemt met de standaarden. Hiervoor beschikt deze versie over een raamwerk met geavanceerde functies, zoals differentiële analyse en op afwijkingen gebaseerde controle van de diagnostische uitdrukkingen.
QA Verify kan efficiënt overweg met codebases die nieuwe standaardconforme code combineren met legacy die niet aan de richtlijnen voldoet.