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: | |
|---|---|
| Other Authors: | |
| 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!
|