Verifying a parallel Fibonacci algorithm implemented in Java. The algorithm spawns two threads capturing the left and right recursive invocation of Fibonacci.
|Features||Fork/join concurrency, Witnesses|
|Path to example file||inheritance/Fibonacci.java|
|Lines of code||48 lines (comments not included)|
|Lines of specification||19 lines (39.58% of the total)|
Note, verification may take a while and has a time-out of 20 seconds.