I have a template which needs to be finished, I can send you the template and the notations for the project. if you are interested. you have to be good at discreet mathematics and have to know about object oriented formal specification. It is second year work. Don't bid if you don't know what to do. budget £20-£35