Describir: Computer-Aided verification /