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:
- LTL model checking
- Multi-property verification
- Wall-time measurement, massively parallel execution
Results of the demo category - C Preprocessing