Summary
The project integrates formal verification techniques into creative technology education. It targets students working with microcontroller-based embedded systems and interactive media, including sound synthesis and art installations. As programmers in general, and especially creative technologists, increasingly use Artificial Intelligence (AI)-assisted tools to write code, they face growing challenges in managing and verifying the correctness of their systems. The project’s novelties are its integration of runtime verification, model checking, and reactive synthesis into creative embedded syst
