Describir: Verification and simulation tools