Digital Twins meet Formal Methods
Abstract
This talk discussed digital twins and how they can make use of formal methods (inside) - with examples from the BedreFlyt digital twin developed in Oslo.
Date
30 August 2025 2:40 PM — 3:10 PM
Location
CONFEST 2025, Aarhus, Denmark
