[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[PVS-Help] Circular lists



Hi Folks,

Is anybody aware of a PVS theory of circular doubly-linked lists?

Thanks in advance,

stan