LARA Verified Java Data Structures ArrayList.java AssociationList.java BinarySearchTree.java CircularList.java CursorList.java Hashtable.java PriorityQueue.java SinglyLinkedList.java Warning: Clicking this link with bring you to the web site for the J verification system but will also reveal the identity of the authors.