Property 8: Size of registration list does not exceed 2


DESCRIPTION

Requirement: The size of the linked list used to store IDs of artists registered for an event never exceeds 2.

Refinement: No artist attempts to register for event e1 when the size of the array used to store artists registered for e1 is equal to 2.


SPECIFICATION


Up to Chiron Decomposed Dispatcher (2 artists, 2 events)

Forward to Property 9

Back to Property 7