testing and controller synthesis, as well as novel applications of formal methods in