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

• Native SPIN
• INCA-SPIN
• INCA-SMV
• INCA
• FLAVERS

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

Forward to Property 9

Back to Property 7