Linux Variability Analysis Tools (LVAT)

The Linux Variability Analysis Tools (LVAT) is a tool suite for analysing Kconfig models.

LVAT is an open-source project available on Google Code. LVAT was used to create the Linux feature model available on our website.

Tags:

Our extensive industrial collaboration enables us to do research with immediate application to software development practices in realistic settings.

Thiago Tonelli Bartolomei

This lab is quite diverse. It is comprised of a group of really smart people from all over the world, each with different backgrounds, working in a friendly and welcoming environment. Being part of it has been such an enriching experience.

Jesús Alejandro Padilla Gaeta