¿Cuál es el valor de buscar una prueba de equivalencia entre dos implementaciones o entre una implementación y una especificación formal, a pesar de la indecidibilidad del problema?
Jueves, agosto 03 2023
by Academia EITCA
El valor de buscar una prueba de equivalencia entre dos implementaciones o entre una implementación y una especificación formal, a pesar de la indecidibilidad del problema, radica en su significado didáctico y en los conocimientos que proporciona sobre el comportamiento y la seguridad de los sistemas computacionales. En el campo de la ciberseguridad, donde la corrección y confiabilidad de
- Publicado en Ciberseguridad, Fundamentos de la teoría de la complejidad computacional EITC/IS/CCTF, Decidibilidad, Equivalencia de máquinas de Turing, revisión del examen
Etiquetado como:
Complejidad computacional, Ciberseguridad, Pruebas de equivalencia, Métodos formales, Análisis del sistema