Verifying the Algorithm

This section details the various methods used to evaluate and confirm the behaviour of the STK algoritm.