Hello everyone.

I've received some answers to the homework due next Tuesday. I'd like to remind you of something that is highlighted in page 2:

Do not to provide just intuitive reasons: use sequent calculus to support your answers. Also, please do not use counterexamples: I am not asking you to just tell me whether some formula is or not an invariant, but where the proofs would fail, if that is the case, or to provide a full proof otherwise.

Some of the answers I have received clearly fall in one (or both) of the cases singled out above: providing a counterexample, but not showing where a proof fails, or providing natural language arguments for a claim, but no formal proof. If you think you may fall in one of these cases, I'd advise you to resubmit.

Best / Saludos,

Manuel

On Mon, 20 Feb 2023 00:26:26 +0100, Manuel manuel.carro@imdea.org wrote:

Hi, everyone. The first Event-B homework has been posted at

https://wp.software.imdea.org/cbc/2023/02/20/first-event-b-homework-2/

Deadline: Tuesday February 28th, 23:59.

Please don't hesitate to write me if you have questions. Also, please be sure to read the homework carefully before this Wednesday's lecture so that we can clarify any doubts at that time.

Best regards,

Manuel _______________________________________________ cbc mailing list cbc@software.imdea.org https://software.imdea.org/mailman/listinfo/cbc