TY  - RPRT
TI  - Petrify: Petri-net Based Analysis of Concurrency Properties in Java Bytecode
AU  - Akshatha Shenoy
AU  - Carlo A. Furia
PY  - 2026
UR  - https://arxiv.org/abs/2607.00830
ID  - 2607.00830
ER  -