Safety_Critical_Software Prueba de desarrollo por contratos, con Precondiciones, Postcondiciones e Invariantes.