Model-based Testing of Practical Distributed Systems in Actor Model

Ilya Kokorin, Evgeny Chernatskiy, Vitaly Aksenov

Designing and implementing distributed systems correctly can be quite challenging. Although these systems are often accompanied by formal specifications that are verified using mod…