UCL | LVL
You are here: Home \ Partners \ UCL | LVL

The Louvain Verification Lab (LVL) is a research team in the Information and Communication Technologies, Electronics and Applied Mathematics (ICTEAM) institute at Universite catholique de Louvain. It gathers one full-time professor and three PhD students. LVL investigates principles, tools and applications of formal specification, analysis and verification of computer systems, revolving around the automated verification technique known as model checking. The list of publications of the LVL Group is available here.

Institute: Université Catholique de Louvain

Research unit: LVL

Project: SeCloud