Demonstration Categories

After the competition execution of the main categories is completed, potential extensions of SV-COMP are evaluated in demonstration categories.

The list below describes potential topics for demonstration categories. Demonstrations categories do not have the requirement of more than two participants, and there are no award plaques assigned. The following categories were proposed already: