cbc

cbc@software.imdea.org

3 participants
127 discussions

Problems with automatic proving in Rodin
by Ignacio Ballesteros 26 Feb '20

26 Feb '20

Hi! At the end of the class some of us were having problems with automatic proving in Rodin. We were supposed to have installed Rodin Version: 3.4.0 and then install Atelier B Provers through "Help > Install New Software". I did that steps but it didn't work, Proof Obligations were still in brown. I just tried to install again Atelier B Provers, and this time, a popup appear after agreeing terms of service asking if "I was really sure to install that software". This popup didn't appear in previous installations. After accepting (and a suggested restart), proofs were passing. I don't know if this may be a solution for the ones who also have this same problem, but maybe double-checking that Atelier is installed can help. Ignacio. Just to make sure, these are my software versions: - Linux 5.5.5-arch1-1 _Name Version Id Provider_ Atelier B provers 2.2.1.r16701 com.clearsy.atelierb.provers.feature.group ClearSy Rodin Handbook v.2.5 2.5.0.201606291411 org.rodinp.handbook.feature.feature.group Formal Mind GmbH Rodin Platform 3.4.0.201802230927-6980ca1 org.rodinp.platform.product null Event-B Modeling Environment 3.4.0.201802230927-6980ca1 org.eventb.ide.feature.group ETH Zurich Rodin Platform Feature 3.4.0.201802230927-6980ca1 org.rodinp.platform.feature.group ETH Zurich You can make sure of installed versions going to "Help > About Rodin Platform > Installation Details"

2 1

Reminders for tomorrow
by Manuel Carro 25 Feb '20

25 Feb '20

Hi. This is a reminder for tomorrow's lecture: - The first homework is due tomorrow @ 3pm. Send me PDFs by mail. Scans of hand-written papers is OK. You can also hand me a physical page, but then you won't keep a copy. - Make sure you have a working Rodin installation. Refer to the slides at https://wp.software.imdea.org/cbc/wp-content/uploads/sites/5/2020/02/03-1-s… and follow the instructions in the section "Rodin: the Event B modeling tool". - Bring a laptop with Rodin working, because I intend for you to use it in class. Best, Manuel -- +-----------------------------------------------------------------------------+ | 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

Material & next lecture
by Manuel Carro 13 Feb '20

13 Feb '20

Hi. I have left at https://wp.software.imdea.org/cbc/ ("Course Log" section) the material for the last lecture, plus homework (to be turned in by Wed., Feb 26th, 3pm). More people have joined the lectures, and we won't fit in the meeting room we were using. Therefore, next Wednesday's lecture will take place in meeting room 302 (same level, in the corner by the kitchen). See you there. -- Manuel Carro : manuel.carro(a){imdea.org,upm.es} Director, IMDEA Software Institute : http://software.imdea.org Associate Professor, School of CS, UPM : http://www.fi.upm.es EIT Digital Spain : http://www.eitdigital.eu Madrid, Spain : +34-91-101-2202 ext. 4140

1 0

Tomorrow's lecture
by Manuel Carro 11 Feb '20

11 Feb '20

This is a reminder that tomorrow we'll have a lecture again @ the IMDEA Software Institute, room 379, from 3pm to 6pm. If you bring a mug I'll treat you to coffee or tea (we try not to generate waste). Cheers, -- Manuel Carro : manuel.carro(a){imdea.org,upm.es} Director, IMDEA Software Institute : http://software.imdea.org Associate Professor, School of CS, UPM : http://www.fi.upm.es EIT Digital Spain : http://www.eitdigital.eu Madrid, Spain : +34-91-101-2202 ext. 4140

1 0

CbC: from today's lecture
by Manuel 29 Jan '20

29 Jan '20

Some things from today: - If you want to register for the blockchain talks next Wednesday (Wed. 5th) @ IMDEA Software, please do so at https://www.eventbrite.es/e/entradas-reflections-on-blockchain-at-chainreac… - Since we did not find an alternative slot for next week's lecture, we are skipping it. - Please tell me if you would like to change the starting time of the lectures. - The web page for the course is at https://wp.software.imdea.org/cbc/ I assume you all have programming experience. If you are not strong in logic, please have a look at the recommended material. Best, Manuel

1 0

MFII - Correctness by Construction: intro y primeros pasos
by Manuel Carro 28 Jan '20

28 Jan '20

Hola a todos. Os escribo otra vez para coordinar el inicio de la asignatura de Correctness by Construction del MFII. 1.- Para estar seguro de que tenemos un canal de comunicación lo más fiable posible, me gustaría que os apuntáseis todos a la lista de correo de la asignatura a través del interfaz https://software.imdea.org/mailman/listinfo/cbc Usad, por favor, una dirección de correo que no os falle y que leáis con regularidad. 2.- Deberíamos tener la primera clase el próximo miércoles 29, de 3 a 6. Si alguno tiene algún problema, decidlo lo antes posible, por favor, para ver si es necesario y posible cambiarla. 3.- Como somos pocos, creo que estaríamos mucho más cómodos si usamos alguna sala de IMDEA Software en lugar de un aula de la Escuela. Para los que no lo conozcan, es un instituto de investigación en el mismo campus de la ETSIINF y a un par de cientos de metros de la Escuela. Creo que no tenéis actividades antes o después de la asignatura, así que no debería ser un problema logístico. Pero si eso es un problema para alguno, decídmelo, por favor. 4.- El próximo miércoles 5 por la tarde tengo un compromiso que me hace difícil (pero no imposible) poder impartir la clase. No sé vuestros horarios, así que si el 29 nos vemos en clase, una de las cosas que tenemos que hacer todos juntos es ver cómo recuperar esa clase. 5.- Estoy ultimando un sitio web para poner todo el material. No estoy utilizando el moodle / aula virtual de la UPM porque no todos estáis matriculados en la UPM y parece que hay problemas en abrir cuentas, etc. En cuanto lo tenga hecho os lo hago saber. Si tenéis cualquier consulta, etc. sugiero que os suscribáis a la lista y la enviéis a través de ella. Saludos, -- +-----------------------------------------------------------------------------+ | 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 3

Test - first message to the list
by Manuel 24 Jan '20

24 Jan '20

1 0

2026

2025

2024

2023

2022

2021

2020

cbc