Hoy, 9 de febrero, a las 19:00 horas, nuestro compañero del departamento de Desarrollo, Jesús Marín, con su charla “Tu código apesta: vamos a ponernos formales” participará en un evento organizado por la comunidad Madrid Devops.
En su charla, Jesús nos hablará de cómo empezar a usar TLA+, una suite para verificación formal de código abierto y sencilla de usar. Gran parte de las vulnerabilidades conocidas en aplicaciones proceden de fallos en el diseño, casuísticas que no se tienen en cuenta a la hora de elaborar los requisitos técnicos o de implementar el código. La verificación formal de software permite determinar si el diseño de un algoritmo o sistema es lógicamente correcto.
¡No os la perdáis!