Timing is All You Need

Download PDF
Open Webpage

Susanne Graf, Bengt Jonsson, Behnam Khodabandeloo, Chengzi Huang, Nikolaus Huber, Philipp Rümmer, Wang Yi

Published: 2025, Last Modified: 27 Jan 2026The Combined Power of Research, Education, and Dissemination 2025EveryoneRevisionsBibTeXCC BY-SA 4.0
Abstract: Deterministic models play a crucial role in computer system development, enabling the simulation and verification of system behaviors before Model-Driven Development (MDD) tools transform and compile these models into final implementations. Ensuring determinism is essential to guarantee that the behaviors of the implemented system maintain the properties analyzed in the models.