TY  - RPRT
TI  - Reasoning about Transactional Isolation Levels with Isolde
AU  - Manuel Barros
AU  - Alcino Cunha
AU  - Jose Pereira
AU  - Eunsuk Kang
PY  - 2026
UR  - https://arxiv.org/abs/2604.00159
ID  - 2604.00159
ER  -