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.
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.
Mit Pfaden und Wanderungen aller Schwierigkeitsgrade, vom kurzen Spaziergang über gepflegte Wege bis zu mehrtägigen Wanderungen durch unwegsames Gelände, kommt der Park vielen Bedürfnissen entgegen.
