Parameterized Verification of Synchronized Concurrent Programs. - Ganjei, Zeinab. (Linköping Studies in Science and Technology. Dissertations Series, 2021)