Domain of lists
This verification example contains a (Silver) domain of lists and some example code that uses its axioms.
|Path to example file||domains/list.sil|
|Lines of code||23 lines (comments not included)|
|Lines of specification||3 lines (13.04% of the total)|
|Computation time||17396 milliseconds|
Note, verification may take a while and has a time-out of 20 seconds.