Formal Verification of Digital Twins with TLA and Information Leakage Control

Luwen Huang, Lav R. Varshney, Karen E. Willcox

Verifying the correctness of a digital twin provides a formal guarantee that the digital twin operates as intended. Digital twin verification is challenging due to the presence of…