< Rotation AutoProof Code Repository Sorting >

Search a list

Category: Algorithm

Source: VSTTE'10


The challenge of the VSTTE competition was to implement verify a function that searches a linked list and returns the index of the first zero element. Our solution implements the more general problem of finding an arbitrary element of the linked list.

download source