Interobserver reliability is a problem in behavioural studies. In order to increase the interobserver reliability, a formal checker is used to study behaviour. Together with a clear ethogram of basic behaviours, this tool can be used to automatically check for more complex behaviours and thus reducing the risk of biases introduced by human annotators. In this thesis, formalizations were created to answer questions in the dog cognition research. It shows that paw departure is correlated to performance. It also shows that performance is influence by the circumstances of the task. Besides this it used the tool to see if there is a correlation between task circumstances and the route the dog takes.