Describir: Model Checking Software