NOVA Laboratory for Computer Science and Informatics, a research unit of the NOVA School of Science and Technology, participates with the software systems group. The group aggregates expertise on programming languages,
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