Linked list

Verifying several operations (e.g. append, clone, concatenate, prepend, etc.) on a linked list structure.

General information

ID84
Articlenone
Back-endSilicon
LanguagePVL
FeaturesLists, Sequences
Sources
Path to example filelists/linkedlist.pvl
Date2017-06-20

Statistical information

Lines of code215 lines (comments not included)
Lines of specification98 lines (45.58% of the total)
Computation timeunknown

Example code

Note, verification may take a while and has a time-out of 20 seconds.