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.

Guardado en:
Detalles Bibliográficos
Autor principal: Monti, Raúl Enrique
Otros Autores: D'Argenio, Pedro Ruben
Formato: bachelorThesis
Lenguaje:Español
Publicado: 2022
Materias:
Verificación formal
Tolerancia a fallas
Ingeniería de software
Sistemas operativos
Software
Program verification
Operating systems
Reliability
Acceso en línea:http://hdl.handle.net/11086/28655
Aporte de:
Repositorio Digital Universitario (UNC) de Universidad Nacional de Córdoba

Ejemplares similares

Ejemplares similares