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.
Saved in:
Main Author: | Cornejo, César Mauricio |
---|---|
Other Authors: | Regis, Germán Enrique |
Format: | doctoralThesis biblioteca |
Language: | spa |
Published: |
2024-07-29
|
Subjects: | 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, |
Online Access: | http://hdl.handle.net/11086/553418 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
-
Técnicas distribuídas para verificación acotada eficiente
by: Rosner, Nicolás Leandro -
Verificación de software usando Alloy
by: Galeotti, Juan Pablo -
Análisis de refinamientos entre sistemas de transiciones modales basado en SAT
by: Dania, Carolina Inés
Published: (2009) -
Verificación en tiempo de ejecución con Streams
by: Romero, Santiago Gabriel
Published: (2010) -
Técnicas basadas en búsqueda y aprendizaje para inferencia de especificaciones
by: Molina, Facundo Joaquín
Published: (2022-02)