Especificación de modelos dinámicos y análisis automático de propiedades con herramientas basadas en Alloy

Tesis (Doctor en Ciencias de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía, Física y Computación, 2024.

Guardado en:

Detalles Bibliográficos
Autor principal:	Cornejo, César Mauricio
Otros Autores:	Regis, Germán Enrique
Formato:	doctoralThesis
Lenguaje:	Español
Publicado:	2024
Materias:	Verificación de software Métodos formales Propiedades funcionales del software Lenguajes de especificación Propiedades dinámicas Análisis automatizado Alloy SAT solving Software verification Formal methods Software functional properties Specification languages Dynamic properties Automated analysis Chord protocol
Acceso en línea:	http://hdl.handle.net/11086/553418
Aporte de:	Repositorio Digital Universitario (UNC) de Universidad Nacional de Córdoba

Descripción
Sumario:	Tesis (Doctor en Ciencias de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía, Física y Computación, 2024.