verification
the process of verifying that the
simulator
of a
model
correctly generates its
behavior
