The final project for CS2603 (2021 Spring), aiming to verify a doubly linked list library using VST. Collaborating with @karzexcc
Why do you think that https://github.com/coq/coq is a good alternative to Doubly-Linked-List-VST
The final project for CS2603 (2021 Spring), aiming to verify a doubly linked list library using VST. Collaborating with @karzexcc
Why do you think that https://github.com/coq/coq is a good alternative to Doubly-Linked-List-VST