TY  - RPRT
TI  - Tailoring Stateless Model Checking for Event-Driven Multi-Threaded Programs
AU  - Parosh Aziz Abdulla
AU  - Mohamed Faouzi Atig
AU  - Frederik Meyer Bønneland
AU  - Sarbojit Das
AU  - Bengt Jonsson
AU  - Magnus Lång
AU  - Konstantinos Sagonas
PY  - 2023
UR  - https://arxiv.org/abs/2307.15930
ID  - 2307.15930
ER  -