Resumen de Aportación al estudio de la descripción, validación y verificación de protocolos de comunicación
EN ESTA TESIS SE DESARROLLA UN SISTEMA FORMAL PARA LA DESCRIPCION Y VERIFICACION DE PROTOCOLOS DE COMUNICACION, PARA LA DESCRIPCION SE CREA UN LENGUAJE DESCRIPTIVO DE ALTO NIVEL. LA VALIDACION SE BASA EN LA CONSTRUCCION DE UN ARBOL DE EJECUCION Y PARA LA VERIFICACION SE GENERA MEDIANTE EJECUCION SIMBOLICA UN ARBOL DE PRUEBA PARA CADA PUNTO DE PARO DE LA RELACION DE SIMULACION. EL RESULTADO DE ESTE TRABAJO ES UN METODO DEFINICION VALIDACION Y VERIFICACION DE PROTOCOLOS QUE SE COMPARA FAVORABLEMENTE CON LOS SISTEMAS ACTUALMENTE EXISTENTES.
