need a program written in Atelier B using B-method

Hello I already completed this kind of projects you may see my profile on upwork. I will deliver the machine .mch file, the structure diagram and invariant explanation and the animation .dot file and show you how to run everything, along with the a complete explanation of the specifications. Cheers

Hello Sir, I am a computer engineer and a professional developing softwares with different technologies. I saw this project and am bidding for the same. I have seen this for the first time.. frankly.. but I went on their website and saw about it and can say I can do the task with this method. Plus, I have done similar stuff once. It was like I knew the concepts of object orientation so developed a program in new language successfully. If you find it suitable, do tell me.. We can discuss regarding details and its price updating if you need as the definition is only there. No more details are there so.. If you will award this to me, surely you will get the work done in time and in the best way. Thank you very much.