Digital Twins (DTs) are opening up exciting new frontiers for formal methods (FMs), offering real impact on the maintenance, optimisation and evolution of complex cyber-physical-human systems. This tutorial introduces the core principles of DT engineering from an FM-friendly perspective, using concrete case studies to highlight research and innovation opportunities - ranging from verifying evolving models under uncertainty to integrating heterogeneous models and composing DT-enabled systems with rigour.

We welcome participants from all backgrounds and career stages. Only a general familiarity with formal methods is assumed. Through presentations, demonstrations and guided discussion, you’ll gain the tools to spot DT related research opportunities, navigate the rapidly expanding literature, and connect with others shaping this emerging field.

Insights from the tutorial will be captured in a report by the non profit INTO-CPS Association. Participants will also be invited to join INTO-CPS and explore avenues for collaboration, project formation and community building, including through FME.

The tutorial is delivered by a long standing team with over three decades of combined academic and industrial experience in model based and formal methods for systems engineering. Their recent book, The Engineering of Digital Twins, provides a comprehensive, FM aligned view of the DT engineering landscape.