RAIM for PANG NAV a tool for processing GNSS measurements in SPP, including RAIM functionality - View it on GitHub