Bei diesem Verifizieren folgt man Pfaden durch den Algorithmus bzw. Quellcode, die durch die Vorbedingungen und die möglichen, vom Nutzer getroffenen Entscheidungen festgelegt sind.
Eine Palette von Werkzeugen und konfigurierbare Dialogfelder erlauben die Bearbeitung der Vektor-Kartenobjekte (Wegpunkte, die zu Pfaden verbunden, welche wiederum zu Flächenobjekten geschlossen sein können) und ihrer Metadaten.
Leistungsmessgeräte und Ferraris-Zähler enthalten einen Strom- und einen Spannungspfad; die Momentanwerte der Stromstärken in den beiden Pfaden werden zur Leistungsmessung multipliziert, gemittelt und bei dem Energiezähler über die Zeit addiert.
