Java class with several methods (some static and some dynamic) to increase a shared integer called `shared`.
|Path to example file||permissions/MultiIncrement.java|
|Lines of code||93 lines (comments not included)|
|Lines of specification||20 lines (21.51% of the total)|
|Computation time||12463 milliseconds|
Note, verification may take a while and has a time-out of 20 seconds.