The highest accuracy which can be achieved using GPS is only possible through differential carrier-phase processing (a.k.a., kinematic GPS or GPS interferometry). The SatNav Toolbox supports this application as is illustrated here. In addition, the SatNav Toolbox supports the development and testing of ambiguity resolution algorithms (an example of which is included with the software).