Thom Badings Promotors: prof. dr. Nils Jansen (RU) en prof. dr. Mariëlle I.A. Stoelinga (RU) Radboud University Date: 27 March 2025 Thesis: PDF Summary Verifying that systems are safe and reliable is crucial in today’s world. For example, we want to prove that an autonomous drone will safely reach its …