Property 9: All artists unregister before termination


DESCRIPTION

Requirement: All artists always unregister before the program terminates.

Refinement: The program never terminates with an artist registered.


SPECIFICATION


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

Back to Property 8