GitHub - dkgi/sublist-proof: Implementation and proof of a recursive longest common substring algorithm

dkgi / sublist-proof Public

Notifications You must be signed in to change notification settings
Fork 0
Star 1

Implementation and proof of a recursive longest common substring algorithm

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 3 Commits
README		README
Report.pdf		Report.pdf
sublist.c		sublist.c

Repository files navigation

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/