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
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
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