Multithreading Atomicity: Static Analysis Checkers. - Süli, Patrik P.; Knoll, Judit; Porkoláb, Zoltán (Acta Cybernetica, 2025)