Simio provides a number of facilities for model verification and validation. The animation facilities provide a powerful tool in aiding understanding of model behaviour and enable us to observe the flow of entities. This chapter will cover two further facilities of Simio in terms of the debugging and trace facility and conducting sensitivity analysis.