Aporte a la confiabilidad de software embebido escrito en C mediante contratos y análisis estático con VeriFast
Abstract Los sistemas embebidos son fundamentales en la tecnología actual, y el lenguaje C es ampliamente utilizado para su programación. No obstante, los errores en C suelen ser difíciles de detectar con pruebas convencionales debido a su naturaleza sutil y efectos impredecibles. Para mejorar la confiabilidad del software embebido, este trabajo propone una estrategia que […]
