The assignment is on concurrent computing, need to use both mathematical proofs and spin verification tool. Documentation done with Latex.
Need to do the assignment to the spec including the bonus marks.
I consider myself a parallel programming expert (you can see from my profile that i have made a publication on the OpenMP model).
Given my BsC on mathematics, i will provide you with mathematical proof on the algorithms provided.
Please feel free to contact me for any further information.