This information is only relevant if you plan to attend the June 11th exam. You may skip this message otherwise.
- The exam will have a part to be made using Rodin and a part to be made with pen and paper.
- For the Rodin part, please come prepared with a laptop with Rodin installed and the Atelier B provers and, just in case, the SMT solvers. Check the course web pages and the slides if in doubt regarding how to install them. If you have any issues with your laptop, the School library lends laptops to students.
- For the part of the exam to be made using pen and paper, please bring pen and paper!
- The exam will take place in the same room (6205) where the lectures took place.
- The exam is scheduled to start at 15:00 and finish at 18:00 . However, you can enter until 15:30, in case of transportation (or similar) problems. After this moment, you may be denied entering the classroom. Likewise, and to ensure that everyone faces the exam with the same opportunities, those who enter the exam won't be allowed to leave until 15:30.
- You can use any documentation, slides, notes, etc. during the exam.
Best / Saludos,
Manuel
On Fri, 06 Jun 2025 01:04:32 +0200, Manuel Carro manuel.carro@imdea.org wrote:
Dear all,
I am resending a message that I sent on May 14th.
In general, for those who don't pass a course based on homework / partial exams (for these courses where this is a possibility), there is one exam at the end of every semester (i.e., January or June, depending on the semester in which the course takes place) and, additionally, an extra opportunity in July. Those who did not pass because of academic fraud only can go to the July resit.
For CbC, this year's dates are:
Wednesday June 11, 3pm-6pm.
Friday July 4, 3pm-6pm.
The exams will take place in the same room as the lectures. *If you intend to attend the June exam, please let me know* so that I prepare the material.
The exam is typically the statement of a problem to be modeled in Event-B with Rodin and, possibly, a problem or questions to be solved using paper and pencil. These may be new problems or a variation on examples we have seen / presented. All typical programming examples can be replicated:
- Insertion in a (sorted) linked list.
- Removing from a linked list.
- Determine the maximum / minimum of a function (without using the max / min builtin functions).
- ...
I am attaching a file with suggested exercises you may want to tackle on your own to sharpen your skills.
Best / Saludos,
Manuel
On Sat, 17 May 2025 14:53:17 +0200, Manuel Carro manuel.carro@imdea.org wrote:
Dear all,
I've been asked a couple of times about the course exams.
In general, for those who don't pass a course based on homework / partial exams (for these courses where this is a possibility), there is one exam at the end of every semester (i.e., January or June, depending on the semester in which the course takes place) and, additionally, an extra opportunity in July. Those who did not pass because of academic fraud only can go to the July resit.
For CbC, this year's dates are:
Wednesday July 11, 3pm-6pm.
Friday July 4, 3pm-6pm.
In general the exams take place in the same room as the lectures. If there is any change, I will notify you.
As for the format, it is typically the statement of a problem to solve with Event-B and Rodin. It may be a new problem or a variation of previous examples. Plus, all typical programming examples can be replicated:
- Insert in a sorted linked list.
- Removal of an element in a sorted linked list.
- Determine the maximum / minimum of a function (without using the max / min builtin functions).
- ...
I am attaching a file with suggested exercises you may want to tackle on your own to sharpen your skills.
Best,