cbc February 2025

cbc@software.imdea.org

2 participants
4 discussions

List test
by Manuel Carro 26 Feb '25

26 Feb '25

Hi. Sorry about this unexpected message. I have been reviewing the list settings and I am not completely sure messages are going through now. I would be most grateful if one of you replies _to the list_ (so that everyone else can see it and we don't get 30+ different replies) if you receive this message. Thanks, -- Manuel Carro : manuel.carro(a){upm.es,imdea.org} Associate Professor, School of CS, UPM : http://www.fi.upm.es Director, IMDEA Software Institute : https://software.imdea.org Madrid, Spain : +34-91-101-2202 ext. 4140

2 1

Question on termination in problem sheet #1
by Manuel Carro 20 Feb '25

20 Feb '25

Hi. Item 5 of question #2 of the first problem sheet requires to prove termination of the computation of a model. Since in yesterday's lecture we did not reach the point where we deal with proof obligations for termination, you can disregard that item and not answer it. It won't be necessary towards obtaining the maximum grade in this homework. Best, -- Manuel Carro : manuel.carro(a){upm.es,imdea.org} Associate Professor, School of CS, UPM : http://www.fi.upm.es Director, IMDEA Software Institute : https://software.imdea.org Madrid, Spain : +34-91-101-2202 ext. 4140

1 0

First CbC exercise sheet
by Manuel Carro 16 Feb '25

16 Feb '25

Hi, all. The first exercise sheet for Event-B is available at the course website. Please see the announcement at https://wp.software.imdea.org/cbc/2025/02/13/first-cbc-homework-deadline-tu… Best, -- Manuel Carro : manuel.carro(a){upm.es,imdea.org} Associate Professor, School of CS, UPM : http://www.fi.upm.es Director, IMDEA Software Institute : https://software.imdea.org Madrid, Spain : +34-91-101-2202 ext. 4140

1 1

Installing Rodin (Event-B development environment)
by Manuel Carro 13 Feb '25

13 Feb '25

It is very likely that we can start using Rodin next week (Wednesday, Feb. 19th). To get the most of the lectures, please install Rodin in your laptops and bring them to the classroom so that we can start to develop models and prove properties. Please have a look at https://wp.software.imdea.org/cbc/rodin-installation-and-tips/ for instruction installations and some generic advice! Best, -- Manuel Carro : manuel.carro(a){upm.es,imdea.org} Associate Professor, School of CS, UPM : http://www.fi.upm.es Director, IMDEA Software Institute : https://software.imdea.org Madrid, Spain : +34-91-101-2202 ext. 4140

1 0

2026

2025

2024

2023

2022

2021

2020

cbc February 2025