Software Enables GPS Rx Verification