I require a freelancer to help me construct a formal VDM-SL specification from a list of requirements.
I have completed some of the UML & basic VDM-SL work but need help with the remainder therefore I'm preferably looking for a person with GOOD KNOWLEDGE OF VDM-SL or at least have past experience working with VDM-SL either at a academic or professional level.
This shouldn't take longer then 2 hours at the VERY MOST I would be willing to pay approx $60-70 in total which works out to $35/hour (possibly a bonus if communication and delivery is fast)
After placing your bid please email me or private message me so I can send you the document to confirm your able to carry out the work.
Thanks!