Z Specification I Robot I Maze

I am very proficient in c, c++. I have 15 years c++ developing experience now, and I have worked for 5 years. My work is online game developing, and mainly focus on server side, the lauguage is c++ under linux os. So, programming in c++ is never a problem. I used c++ to make many great projects, for example, I made the tools which can convert java files to c++ with the same meaning, of course garbage collection included. I made our own mobile game using c++, I even can show you the demo of client. Trust me, please let expert help you.

Hello, I ve worked with Z before (on the University around 7 years ago, but I keep the knowledge) so I think I would be capable of building the specifications in the assignment. Please be so kind as to inform your deadline.

Dear sir, I've check your attached file carefully. It's a simple project in Z specification, an old programming/script language. I have experience with it in the 3rd years in university. I'll complete it perfectly for you within 5 days. Please give me more details. Kind regards, LY

I have experince in formal methods, algebraic specifications, Hoare triples. Can see some models in Alloy. Send me a private message to give more details.

would you please provide information that for which controller you need coding to be done. And also provide information regarding specification of robot.