Abstract
During the last years, network simulators have reached a certain maturity and have permitted the validation of protocols in several scenarios, also involving a large number of nodes, and the prediction of possible misbehaviors. This holds particularly for vehicular ad hoc networks (VANETs), which are being extensively validated in order to identify possible threats to the safety services which they are aimed at.