Logo
Unionpedia
Comunicación
Disponible en Google Play
¡Nuevo! ¡Descarga Unionpedia en tu dispositivo Android™!
Gratis
¡Más rápido que el navegador!
 

E. Allen Emerson

Índice E. Allen Emerson

Ernest Allen Emerson es un informático teórico más conocido haber desarrollado el método conocido como model checking, para verificar diseños de software o hardware.

5 relaciones: Barbara Liskov, Edmund Clarke, Joseph Sifakis, Premio Turing, Verificación de modelos.

Barbara Liskov

Barbara Jane Huberman (Los Ángeles, California, 7 de noviembre de 1939), conocida como Barbara Liskov o Barbara Jane Liskov, es una prominente científica de la computación estadounidense.

¡Nuevo!!: E. Allen Emerson y Barbara Liskov · Ver más »

Edmund Clarke

Edmund Melson Clarke, Jr. (Newport News, 27 de julio de 1945 - 22 de diciembre de 2020) fue un informático teórico, profesor universitario, investigador, ingeniero y matemático estadounidense.

¡Nuevo!!: E. Allen Emerson y Edmund Clarke · Ver más »

Joseph Sifakis

Joseph Sifakis (Heraclión, Creta, 26 de diciembre de 1946) es un científico de la computación griego naturalizado francés, ganador del Premio Turing de 2007 junto con Edmund Clarke y E. Allen Emerson, por su trabajo en el método conocido como model checking.

¡Nuevo!!: E. Allen Emerson y Joseph Sifakis · Ver más »

Premio Turing

El Premio Turing es un premio de las Ciencias de la Computación que es otorgado anualmente por la Asociación para la Maquinaria Computacional (ACM) a quienes hayan contribuido de manera trascendental al campo de las ciencias computacionales.

¡Nuevo!!: E. Allen Emerson y Premio Turing · Ver más »

Verificación de modelos

La verificación de modelos (o Model checking) es un método automático de verificación de un sistema formal, en la mayoría de las ocasiones derivado del hardware o del software de un sistema informático.

¡Nuevo!!: E. Allen Emerson y Verificación de modelos · Ver más »

Redirecciona aquí:

E Allen Emerson.

SalienteEntrante
¡Hey! ¡Ahora tenemos Facebook! »