Knuth-Morris-Pratt string-searching algorithm (part I) + my homebrew algorithms formally verified using CBMC (yurichev.com)
Posted 38 months ago fts