Möbius Trace Analysis with Traviando

Model verification and validation is crucial to the credibility of a simulation study. The ability to investigate the detailed behavior of a complex stochastic model that is simulated in a powerful modeling environment like Mobius is important to identify root causes of errors in models or to gain confidence that a model performs as expected. In this paper, we briefly describe how the Traviando trace analyzer sheds light on what happens in a simulation run of a Mobius model.