Iker Martin Canut

Verification of an operating system kernel using a static analyzer based on abstract interpretation.

iker-martin.canut_at_cea.fr
https://github.com/ikercanut
https://www.linkedin.com/in/ikercanut