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

Ejemplares similares

Ejemplares similares