## Cyclic list

*July 1, 2012 – 4 years, 8 months ago, by sarahgrebing*

### Short Description

Given: A Java linked data structure with the signature:

public class Node { Node next; public boolean cyclic() { //... } }

Implement and verify the method cyclic() to return true when the data

structure is cyclic (i.e., this Node can be reached by following next

links) and false when it is not.

### Code

### Specification

### Long Description

### Supplementary Materials

This problem was posed as challenge 4 at the COST Verification Competition 2011.

### Submitted by

Sarah Grebing (based on the challenges given in the COST Verification Competition 2011)