Doubly-Linked-List-VST

The final project for CS2603 (2021 Spring), aiming to verify a doubly linked list library using VST. Collaborating with @karzexcc (by junqi-xie)

Doubly-Linked-List-VST Alternatives

Similar projects and alternatives to Doubly-Linked-List-VST

NOTE: The number of mentions on this list indicates mentions on common posts plus user suggested alternatives. Hence, a higher number means a better Doubly-Linked-List-VST alternative or higher similarity.

Doubly-Linked-List-VST reviews and mentions

Posts with mentions or reviews of Doubly-Linked-List-VST. We have used some of these posts to build our list of alternatives and similar projects. The last one was on 2021-12-09.

Stats

Basic Doubly-Linked-List-VST repo stats
1
2
10.0
almost 3 years ago

junqi-xie/Doubly-Linked-List-VST is an open source project licensed under GNU General Public License v3.0 only which is an OSI approved license.

The primary programming language of Doubly-Linked-List-VST is Coq.

SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com