This presentation is an uncut version of my thesis defense. It includes many extra details and examples that were not presented at the defense presentation in order to provide viewers with a deeper overview of my Master's research.

Included in this talk is a section outlining µ-calculus syntax along with example specifications and explanations as to how such formulations can be parsed.

Many thanks to my spectacular supervisor, Jun Liu, as well as Brian Ingalls and Stephen Smith who were members of the defense committee.