Paragon Research Corporation (PRC) excels in Independent Verification and Validation (IV&V), serving as a crucial last line of defense in software and firmware assurance. Our team combines formal software proving methods with Agile Management systems to rigorously verify and validate industry-developed software and firmware for deployed weapon systems. Our comprehensive IV&V process encompasses requirements analysis, design analysis, static code analysis, and thorough testing with timing analysis. We utilize advanced tools such as CodePeer, Astree, and Polyspace to conduct in-depth assessments. Our findings, along with suggested fixes, are fed back to Prime Item Developers, ensuring the highest standards of software reliability and security. PRC’s IV&V capabilities extend to various critical systems, including sensors, ground operations, boosters, and kill vehicles. We produce and track SMART (Specific, Measurable, Accurate, Reliable, and Timely) metrics through our Agile Earned Value Management system (EAGiLE), guaranteeing that our customers receive reliable software and firmware free from errors and vulnerabilities. This rigorous approach supports our mission to defend the homeland and allies by ensuring the integrity of mission-critical software systems.