correct_simulation
(association between a
simulator
and a
model
). A
simulator
correctly simulates a
model
if it is guaranteed to faithfully generate the
model
s
behavior
in every
simulation run
.