Actualidad

Contacto

Martes, 09 Febrero 2021 10:59

Entelgy Innotec Security participa en Madrid Devops

Jesús Marín, Devsecops de Entelgy Innotec Security, participará hoy, 9 de febrero en el evento organizado por Madrid Devops con su charla “Tu código apesta: vamos a ponernos formales”.

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!

Accede al meetup de la charla

S5 Box