Contract-based Verification of Digital Twins

Muhammad Naeem, Cristina Seceleanu

Digital twins are becoming powerful tools in industrial applications, offering virtual representations of cyber-physical systems. However, verification of these models remains a si…