Redis-Verification This is the project for 6863 Formal Verification, 2024. This project is to provide a balanced verification strategy -- Unit test using Google Test in broad scope, and formally verify some key areas.