Describir: Formal Methods