Advanced Static Analysis of Atomicity in Concurrent Programs through Facebook Infer
Author
Dominik Harmim Ing.
Supervisor
Tomáš Vojnar Prof. Ing. Ph.D.