Y yo he trabajado con un ordenador de alta disponibilidad y alta fiabilidad con redundancia total de componentes. Ese hardware tiene la capacidad de hacerse autodiagnósticos y reportar sus propios errores. Donde trabajas? En la NASA?Ya me gustaria poder ver alguno de estos equipos
Alguna vez he comentado de una empresa británica que hace software certificado 100%. Es carísimo, pueden tardar un par de años antes de escribir una sola línea de código. Son programas relativamente pequeños, como el núcleo de autenticación de tarjetas de créditos.
Segun tengo entendido hay metodos matematicos para validar los algoritmos ya no solo en terminos de eficiencia sino en terminos de que no habra fallos -- Para dar de baja la suscripción, mande un mensaje a: opensuse-es+unsubscribe@opensuse.org Para obtener el resto de direcciones-comando, mande un mensaje a: opensuse-es+help@opensuse.org