making use of a software called atelier B..if you have any experience of such then you are good for the project..you are to choose between question 1 or two any problem let me know
For the Atelier B exercises, try to discharge as many proof obligations as possible. Also provide a screenshot showing the number of discharged and undischarged proof obligations.
The exercises give a basic level of functionality for the specifications. Additional functionality is suggested in each case. In the event that additional functionality is attempted, this should be documented clearly at the beginning of the AMN code.
Insert comments in AMN code where its purpose is not immediately obvious