The tool JaTyC, developed by NOVA in collaboration with UNIBO and CMS, participated to the InnCyber cyber security research competition held in Portugal in September 2023. The tool won 3rd

Adrian Francalanza was invited to give a testimonial about his experience as a principal coordinator of the BehAPI project. You can read more about this presentation here.

This tool was presented as the BehAPI Tutorial Day 2023, colocated with DisCoTec. Here, João Mota presented JaTyC, a tool that verifies JAVA code. In particular, the tool statically verifies