Automated Verification of Asynchronous Communicating Systems (with TLA+)

A Client-Server System.

The Server is split into a controller and an application.
The controller accepts or rejects the client, and begins/ends the application when needed.

Communication Model(s):

Peer (CCS):

Peer (CCS):

Peer (CCS):

Properties: