Applications of Formal Methods and Digital Twins, March Preface: Applications of Formal Methods and Digital Twins Stefan Hallerstede 0 10 2 3 4 5 6 7 8 9 Eduard Kamburjan eduard@ifi.uio.no 1 10 2 3 4 5 6 7 8 9 Workshop Proceedings 10 2 3 4 5 6 7 8 9 Aarhus University , Aarhus , Denmark University of Oslo , Oslo , Norway Danielle Stewart, Galois Inc Fuyuki Ishikawa , NII Jim Woodcock, University of York Loek Cleophas , TU Eindhoven Mahsa Varshosaz, IT University of Copenhagen Manuel Wimmer , JKU Linz Regine Laleau, Université Paris-Est Créteil Stylianos Basagiannis , Collins Airspace Tiziana Margaria, University of Limerick 2023 06 2023

The model-based concept of a Digital Twin is a new development paradigm in complex systems engineering at the intersection of Cyber-Physical Systems, Software Engineering, While some connections to model-based techniques from formal methods have been recognized in academic contexts, there is no exploitation of this connection in industrial practice. The Workshop on Applications of Formal Methods and Digital Twins was collocated with the 25th International Symposium on Formal Methods and brought together researchers from Formal Methods and practitioners to explore (1) the current challenges in engineering Digital Twins, and (2) the current challenges in applying formal methods to Digital Twins.