This is an old revision of the document!
Verifying data structures using Jahob
Feride Cetin and Kremena Diatchka
Our goal is to verify the implementations in Java of simple data structures using Jahob.
Verified
- Linked list with header node
- Queue (partial specification)
- Cyclic list (almost?)
In progress
- Leaf-linked tree
- Checking why cyclic list doesn't verify in initial state