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