The Government is seeking market research information on options for Nuclear Surety Cross Check Analysis, Nuclear Safety Analysis and Technical Evaluation, and Independent Verification/Validation for software on the Sentinel Weapon System. This RFI aims to understand potential approaches for proving the safety and surety of the weapon system through rigorous software verification processes.