字符串处理(String Processing)

Examples of verified algorithms

1. 字符串拼接（Concatenate Strings）
2. 字符串字符查找（1）（Search for Character）
3. 字符串字符查找（2）（Locate Last Occurrence of Character in String）
4. 字符串比较（1）（Compare Strings）
5. 字符串比较（2）（Compare Strings：Up to n Characters）
6. 字符串长度（Determine String Length）
7. 字符串字符匹配（Find Characters in String）
8. 字符串匹配（Match Strings）
9. 字符串匹配的KMP算法（方案1）（KMP Algorithm For String Matching, Verification Plan 1）
10. 字符串匹配的KMP算法（方案2）（KMP Algorithm For String Matching, Verification Plan 2）