13 relaciones: Association for Computing Machinery, Ciencias de la computación, E. Allen Emerson, Edmund Clarke, Grafo, Hardware, Joseph Sifakis, Lógica temporal, Premio Turing, Sistema de tiempo real, Sistema formal, Software, Verificación formal.
Association for Computing Machinery
ACM es el acrónimo de Association for Computing Machinery (Asociación de Maquinaria Computacional).
¡Nuevo!!: Verificación de modelos y Association for Computing Machinery · Ver más »
Ciencias de la computación
Las ciencias de la computación estudian los fundamentos teóricos de la información y el cómputo, junto con técnicas prácticas para la implementación y aplicación de estos fundamentos teóricos.
¡Nuevo!!: Verificación de modelos y Ciencias de la computación · Ver más »
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.
¡Nuevo!!: Verificación de modelos y E. Allen Emerson · 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!!: Verificación de modelos y Edmund Clarke · Ver más »
Grafo
En matemáticas y ciencias de la computación, un grafo (del griego grafos: dibujo, imagen) es un conjunto de objetos llamados vértices o nodos unidos por enlaces llamados aristas o arcos, que permiten representar relaciones binarias entre elementos de un conjunto.
¡Nuevo!!: Verificación de modelos y Grafo · Ver más »
Hardware
El hardware, equipo o soporte físico en informática se refiere a las partes físicas, tangibles, de un sistema informático, sus componentes eléctricos, electrónicos y electromecánicos.
¡Nuevo!!: Verificación de modelos y Hardware · 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!!: Verificación de modelos y Joseph Sifakis · Ver más »
Lógica temporal
La lógica temporal es una extensión de la lógica modal, la cual es prácticamente usada en sistemas de reglas, donde está presente el tiempo.
¡Nuevo!!: Verificación de modelos y Lógica temporal · 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!!: Verificación de modelos y Premio Turing · Ver más »
Sistema de tiempo real
Un sistema de tiempo real es un sistema informático que interacciona con su entorno físico y responde a los estímulos del entorno dentro de un plazo de tiempo determinado.
¡Nuevo!!: Verificación de modelos y Sistema de tiempo real · Ver más »
Sistema formal
Un sistema formal o sistema lógico es un sistema abstracto compuesto por un lenguaje formal, axiomas, reglas de inferencia y a veces una semántica formal, que se utiliza para deducir o demostrar teoremas y dar una definición rigurosa del concepto de demostración.
¡Nuevo!!: Verificación de modelos y Sistema formal · Ver más »
Software
Se conoce como software, logicial o soporte lógico al sistema formal de un sistema informático, que comprende el conjunto de los componentes lógicos necesarios que hace posible la realización de tareas específicas, en contraposición a los componentes físicos que son llamados hardware.
¡Nuevo!!: Verificación de modelos y Software · Ver más »
Verificación formal
La verificación formal, en ingeniería y en computación, es un método de validación estática (se valida a través del propio código del programa, a partir de una abstracción o de una representación simbólica) en el que, partiendo de un conjunto axiomático, reglas de inferencia y algún lenguaje lógico (como la lógica de primer orden), se puede encontrar una demostración o prueba de corrección de un programa, algoritmo, etc, aunque también se puede encontrar su refutación.
¡Nuevo!!: Verificación de modelos y Verificación formal · Ver más »