Tesis:
Verificación de sistemas en lotos
- 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
- Departamentos: SIN DEPARTAMENTO DEFINIDO
- Acceso electrónico:
- Director/a 1º: 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