model checking
El modelo se expresa como un grafo dirigido con un conjunto de transiciones. A cada nodo se asocia un conjunto de proposiciones que representan los estados posibles de un sistema y los arcos las posibles evoluciones del mismo.
- Clarke, Edmund MelsonEstados Unidos, 1945 -
- Emerson, Ernest AllenEstados Unidos, 1954 -
- Grumberg, OrnaIsrael, 1952 -
- Sifakis, JosephCreta, 1946 -