exercise: validating data structures with kani

ferrous-systems · Oct 29, 2024 · 534a5d5 · 534a5d5
1 parent 84d0372
commit 534a5d5
Show file tree

Hide file tree

Showing 6 changed files with 818 additions and 0 deletions.
diff --git a/exercise-book/src/SUMMARY.md b/exercise-book/src/SUMMARY.md
@@ -134,4 +134,8 @@
   - [Final Server Code](./async-chat/final_server_code.md)
   - [Implementing a Client](./async-chat/implementing_a_client.md)
 
+# Kani Rust Verifier
+
+- [Verifying Data Structures with Kani](./kani-linked-list.md)
+
 # Other Topics