Châtillon, Hauts-de-Seine
results of the PhD thesis will include a comparative evaluation of the verification choices adopted by the Linux community...about the role The Linux kernel offers a privileged observation position that allows to collect data related...