Falluto2.0 un model checker para la verificación automática de sistemas tolerantes a fallas
Tesis (Lic. en Ciencias de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía y Física, 2013.
Saved in:
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Fil: Fil: Monti, Raúl Enrique. Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía y Física; Argentina. biblioteca |
| Language: | spa |
| Published: |
2013-03
|
| Subjects: | Verificación formal, Tolerancia a fallas, Ingeniería de software, Sistemas operativos, Software, Program verification, Operating systems, Reliability, |
| Online Access: | http://hdl.handle.net/11086/28655 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|