TY  - RPRT
TI  - Multi-Threaded Software Model Checking via Parallel Trace Abstraction Refinement
AU  - Max Barth
AU  - Marie-Christine Jakobs
PY  - 2026
UR  - https://arxiv.org/abs/2509.13699
ID  - 2509.13699
ER  -