cbc March 2022

cbc@software.imdea.org

1 participants
3 discussions

Correctness by Construction: second homework
by Manuel Carro 21 Mar '22

21 Mar '22

Hi, all. The second homework for the Correctness by Construction course is available. Please access it at https://wp.software.imdea.org/cbc/2022/03/20/second-cbc-homework/ Deadline to turn it in: Saturday, April 2nd, 00:01. Send it to me by email. I recommend to have a look at it before next lecture so that I can answer any question with time enough. Best regards, -- +-----------------------------------------------------------------------------+ | Manuel Carro --- E.T.S. Ing. Informáticos -- U. Politécnica de Madrid (UPM) | | Campus de Montegancedo --- E-28660 Boadilla del Monte --- Spain | | Phone: +34-91-101-2202 ext 4140 |

1 1

Virtual machine with Rodin
by Manuel Carro 07 Mar '22

07 Mar '22

I have been asked by some of you whether I can provide a virtual machine with Rodin installed, because in someone's installation icons do not appear (as in mine). First of all, icon placement may differ among instances because you can change the interface and move things around, and also depending on the plugins one has installed, more / less icons will appear. So I would anyway ask you to double check the informacion at https://wp.software.imdea.org/cbc/proving-tips/ https://wp.software.imdea.org/cbc/rodin-installation-and-tips/ https://www3.hhu.de/stups/handbook/rodin/current/html/proving_perspective.h… and try to identify / locate the icons and menus referred there. I have notwithstanding left at https://wp.software.imdea.org/cbc/rodin-installation-and-tips/ under "If everything fails" a pointer to an Ubuntu virtual machine with minimal instructions. Use it only if necessary. A native installation will be better because you do not have to worry about assigning threads, memory, disk to the virtual machine. Best, -- +-----------------------------------------------------------------------------+ | Manuel Carro --- E.T.S. Ing. Informáticos -- U. Politécnica de Madrid (UPM) | | Campus de Montegancedo --- E-28660 Boadilla del Monte --- Spain | | Phone: +34-91-101-2202 ext 4140 |

1 0

Lecture on Wed. 2 --> remote
by Manuel Carro 02 Mar '22

02 Mar '22

Dear all, an unexpected personal matter has forced me to leave Madrid, so I will not be able to be physically present for today's (Wednesday's) lecture. Since the time available for lectures is limited, instead of cancelling the lecture I am suggesting to exceptionally do it online: everyone will connect to a zoom session and this lecture will take place via zoom. If this is an issue for anyone, please let me know so that we can try to work out an alternative solution. In parallel, I am checking with University officials that I am not breaking any regulation. Therefore, and if nothing forbids it, we will meet on Wed. 2 at 4pm-ish on https://zoom.us/j/5911012202 Pwd: @CbC Sorry again for this sudden change! Best regards, -- +-----------------------------------------------------------------------------+ | Manuel Carro --- E.T.S. Ing. Informáticos -- U. Politécnica de Madrid (UPM) | | Campus de Montegancedo --- E-28660 Boadilla del Monte --- Spain | | Phone: +34-91-101-2202 ext 4140 |

1 0

2025

2024

2023

2022

2021

2020

cbc March 2022