Logo ICTEAM Security, Testing and Verification Lab - UCLouvain

ICTEAM - Security, Testing and Verification Lab - UCLouvain

The activities of the Security, Testing and Verification Lab research group relate to cybersecurity, as well as formal verification techniques and software safety testing.