In this example, two actors send some data to a central server,
which asserts that the messages are always received in the same order.
This is obviously wrong, and the model-checker correctly finds a
counter-example to that assertion.
In this example, two actors send some data to a central server,
which asserts that the messages are always received in the same order.
This is obviously wrong, and the model-checker correctly finds a
counter-example to that assertion.