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

Edmund E. Clarke. UNIVERSIDAD CARNEGIE MELLON
Edmund E. Clarke. UNIVERSIDAD CARNEGIE MELLON

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: