Pokročilá statická analýza atomicity v souběžných programech prostřednictvím Facebooku Infer

Pokročilá statická analýza atomicity v souběžných programech prostřednictvím Facebooku Infer

Autor práce

Dominik Harmim Ing.
Vysoké učení technické v Brně, Fakulta informačních technologií

Vedoucí práce

Tomáš Vojnar Prof. Ing. Ph.D.

O projektu

Ročník

2021

Sdílet tuto práci