Tesis doctoral de Miguel Garcia Hoffmann
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.
Datos académicos de la tesis doctoral «Aportacion al estudio de la descripcion, validacion y verificacion de protocolos de comunicacion.«
- Título de la tesis: Aportacion al estudio de la descripcion, validacion y verificacion de protocolos de comunicacion.
- Autor: Miguel Garcia Hoffmann
- Universidad: Politécnica de catalunya
- Fecha de lectura de la tesis: 01/01/1979
Dirección y tribunal
- Director de la tesis
- Gabriel Ferraté Pascual
- Tribunal
- Presidente del tribunal: Gabriel Ferraté Pascual
- Manuel Marti Recober (vocal)
- Carlos Angulo Carranza (vocal)
- Ramón Puigjaner Trepat (vocal)