Describir: Model checking software