Arena 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 Arena in terms of conversion of the model into simulation language coding and the debugging and trace facility.