C track
From CRV
There are two subtracks for this track this year. The generic track is for generic specifications (in the same style as those found in the Java and Offline track). The implicit track is for properties such as memory-safety i.e. properties that are implicit in the C language.
