Búsqueda:

DISEÑO Y ANÁLISIS FORMAL DE SISTEMAS DE SOFTWARE (FADOSS)


	Centro:	Informática
	Director:	NARCISO MARTI OLIET
	Descripción:	Su actividad principal es el estudio y desarrollo de técnicas rigurosas para garantizar la corrección del diseño de sistemas de software.... Leer más... Su actividad principal es el estudio y desarrollo de técnicas rigurosas para garantizar la corrección del diseño de sistemas de software. Sus líneas actuales de investigación incluyen: lenguajes y técnicas de especificación y verificación de sistemas, análisis estático de programas y sistemas de tipos, estudio y aplicaciones informáticas de la lógica de reescritura, modelos formales para la movilidad y la seguridad, y desarrollo de sistemas seguros a partir de modelos. Cerrar...
	Líneas de investigación:	Análisis estático certificación código con demostración asociada... Leer más... Análisis estático certificación código con demostración asociada memoria Cerrar...
	Palabras clave:	Métodos Formales; Verificación; Seguridad; Modelado
	Acceso a su web:	Acceder