Advanced Static Analysis of Atomicity in Concurrent Programs through Facebook Infer

Advanced Static Analysis of Atomicity in Concurrent Programs through Facebook Infer

Author

Dominik Harmim Ing.

Supervisor

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

About the project

Abstract Thesis

Year

2021

Share