Parallel Fibonacci

Verifying a parallel Fibonacci algorithm implemented in Java. The algorithm spawns two threads capturing the left and right recursive invocation of Fibonacci.

General information

ID75
Articlenone
Back-endChalice
LanguageJava
FeaturesFork/join concurrency, Witnesses
Sources
Path to example fileinheritance/Fibonacci.java
Date2017-06-19

Statistical information

Lines of code48 lines (comments not included)
Lines of specification19 lines (39.58% of the total)
Computation timeunknown

Example code

Note, verification may take a while and has a time-out of 20 seconds.