Hacia la construccion de drivers eficientes en bounded model checking mediante deteccion automatica de builders

Las técnicas que permiten mejorar la calidad del software producido son de vital importancia, sobre todo en sistemas críticos. Entre ellas, contamos con técnicas de verificación acotada de software, como el model checking de software, que permiten explorar exhaustivamente todas las ejecuciones posib...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Politano, Mariano, Bengolea, Valeria S., Ponzio, Pablo Daniel, Aguirre, Nazareno Matías
Formato: Objeto de conferencia
Lenguaje:Español
Publicado: 2019
Materias:
Ciencias Informáticas
Drivers
Java PathFinder
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/91087
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata

Ejemplares similares

Ejemplares similares