TY  - RPRT
TI  - Efficient Linearizability Monitoring
AU  - Parosh Aziz Abdulla
AU  - Samuel Grahn
AU  - Bengt Jonsson
AU  - Shankaranarayanan Krishna
AU  - Om Swostik Mishra
PY  - 2025
UR  - https://arxiv.org/abs/2509.17795
ID  - 2509.17795
ER  -