Martes, 09 February 2021 10:55

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

Visto 98 veces

Avda. Llano Castellano, 43
28034 Madrid
+34 917 281 504
innotec.security


InnoTec

Sobre nosotros

InnoTec nace en 2002 como empresa especializada en ciberseguridad, inteligencia, prevención y gestión de riesgos. Actualmente contamos con una plantilla de más de 350 profesionales altamente cualificados en España, y estamos presentes en los principales mercados de Latinoamérica y Estados Unidos.

Ampliar información
Presentación corporativa