Specified and verified implementation of a (copying) matrix transpose.
|Features||Arrays, Iteration contracts, Matrices|
|Path to example file||arrays/Transpose.pvl|
|Lines of code||23 lines (comments not included)|
|Lines of specification||19 lines (82.61% of the total)|
|Computation time||40484 milliseconds|
Note, verification may take a while and has a time-out of 20 seconds.