Describir: Reliable Computing