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.
-
Notifications
You must be signed in to change notification settings - Fork 0
TsukiCU/Redis-Verification
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
This is the project for EECS 6863 "Formal Verification", 2024.
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published