Comment Aviation uses RAIM (Score 1) 127
For years, aviation has been using technology called RAIM. With enough satellites, position is over-specified and can be checked for self-consistency.
It is easier to write an incorrect program than understand a correct one.
