Khlaaf, Heidy; (2018) The Past, Present, and Future(s): Verifying Temporal Software Properties. Doctoral thesis (Ph.D), UCL (University College London).