Simple PVL program that contains several `par` blocks, thereby allowing statically-scoped parallelism.
|Features||Arrays, Iteration contracts, Quantified permissions, Statically-scoped parallelism|
|Path to example file||openmp/parallel-example1.pvl|
|Lines of code||28 lines (comments not included)|
|Lines of specification||7 lines (25% of the total)|
|Computation time||40474 milliseconds|
Note, verification may take a while and has a time-out of 20 seconds.