VERIFICACION DE SISTEMAS EN LOTOS.

Autor: FERNANDEZ DEL CAMPO ANGEL
Año: 1986
Universidad: POLITECNICA DE MADRID
Centro de realización: E.T.S.I. TELECOMUNICACION UNIVERSIDAD POLITECNICA DE MADRID.
Centro de lectura: INGENIEROS DE TELECOMUNICACION
Director:
Tribunal: RIERA GARCIA JUAN B. , VIDALLER SISO LEON , ALABAU MUÑOZ ANTONIO , MEDINA LLINAS MANUEL , MAÑAS ARGEMI JOSE A.
Resumen de la tesis

DENTRO DE LA INGENIERIA DE PROTOCOLOS EL CAMPO DE LA VERIFICACION TIENE UNA IMPORTANCIA VITAL DADA LA UNIVERSALIDAD Y HETEROGENEIDAD DE LOS SISTEMAS INVOLUCRADOS. SU NECESIDAD HA PROPICIADO LA INTRODUCCION ACELERADA EN ESTA INGENIERIA DE LENGUAJES FORMALES PARA LA DESCRIPCION DE LOS SISTEMAS; ESTO ES LENGUAJES BASADOS EN MODELOS MATEMATICOS QUE PERMITEN ANALIZAR LAS PROPIEDADES DE LO QUE EN ELLOS SE ESCRIBE. LA TESIS QUE SE PRESENTA INCIDE EN LA VERIFICACION DE PROTOCOLOS APORTANDO UNA HERRAMIENTA QUE POSIBILITA EN UN CONJUNTO SIGNIFICATIVO DE CASOS SU REALIZACION. INTRODUCE ADEMAS DESCRIPCIONES CUANTITATIVAS DE TIEMPO EN LOS LENGUAJES FORMALES QUE HASTA DONDE CONOCEMOS ESTAN BASADOS UNICAMENTE EN ORDENACIONES TEMPORALES DE EVENTOS.