TY  - RPRT
TI  - Model-based Testing of Practical Distributed Systems in Actor Model
AU  - Ilya Kokorin
AU  - Evgeny Chernatskiy
AU  - Vitaly Aksenov
PY  - 2025
UR  - https://arxiv.org/abs/2512.08698
ID  - 2512.08698
ER  -