Autor: FERNANDEZ DEL CAMPO, Angel
Título: Verificación de sistemas en lotos
Fecha: 1987
Materia: CIENCIAS TECNOLOGICAS. Teseo;TECNOLOGIA DE ORDENADORES. Teseo;TECNOLOGIA DE TELECOMUNICACIONES. Teseo
Escuela: E.T.S. DE INGENIEROS DE TELECOMUNICACION
Departamento: SIN DEPARTAMENTO DEFINIDO
Director/a(s):
- Director/a: QUEMADA VIVES, Juan
Resumen: Dentro de la ingeniería de protocolos, el campo de la verificación tiene una importancia vital dada la universalidad y heterogeneidad de los sistemas involucrados. Su necesidad ha propiciado la introducción acelerada en esta ingeniería de lenguajes formales para la descripción de los sistemas; esto es lenguajes basados en modelos matemáticos que permiten analizar las propiedades de lo que en ellos se escribe. La tesis que se presenta incide en la verificación de protocolos aportando una herramienta que posibilita en un conjunto significativo de casos su realizacion. Introduce además descripciones cuantitativas de tiempo en los lenguajes formales que hasta donde conocemos están basados únicamente en ordenaciones temporales de eventos