El hombre que ideó cómo detectar ‘aceitunas envenenadas’ en los programas informáticos

Edmund E. Clarke fue uno de los padres de la técnica de la verificación de modelos, usado en la titánica tarea de encontrar errores en el ‘software’.

Lee el artículo completo escrito por María del Mar Gallardo Melgarejo en el diario El País haciendo clic en el botón: