Back to The Linux Foundation
GSoC 2020

Development of environment model specifications for static verification of Linux Kernel

Project details

Contributor

Nadezda Lutovinova

Mentors

Vadim Mutilin, Alexey Khoroshilov

Technologies

Not listed in the archive