dkgi / sublist-proof

Implementation and proof of a recursive longest common substring algorithm

This is a proof of a simple recursive maximum sublist algorithm using VeriFast. For more information about the implementation and the proof see the Report.pdf document.

VeriFast is freely available at http://people.cs.kuleuven.be/~bart.jacobs/verifast/