TY  - RPRT
TI  - Checking Consistency of Event-driven Traces
AU  - Parosh Aziz Abdulla
AU  - Mohamed Faouzi Atig
AU  - R. Govind
AU  - Samuel Grahn
AU  - Ramanathan S. Thinniyam
PY  - 2025
UR  - https://arxiv.org/abs/2508.07855
ID  - 2508.07855
ER  -