Antonio Ravara from Universidade NOVA de Lisboa and Mario Bravetti from University of Bologona, in collaboration with Caixa Mágica Software, presented their tool JaTyC at INNCYBER 2023. JaTyC statically verifies