Event-B/Rodin

  • Inlämningsdatum 9 apr 2021 av 23.59
  • Poäng 1
  • Lämnar in en textimatningsruta, en länk till webbplats, eller en filuppladdning
  • Filtyper pdf

In this assignment, you familiarize yourself with Event-B.

Please make sure you submit your work after the first lab, and leave a comment if you have questions. This assignment is mandatory but not graded; it is therefore OK if your solution is not perfect. It might help to watch demo of Rodin platform use for the CoffeeClub example presented at  lecture 3.

ASCII for the mathematical notation http://wiki.event-b.org/index.php/Rodin_Keyboard_User_Guide Links to an external site.

Download DD2460-EventB-Assignment-1A.pdf

As explained in the Introduction, a late submission will reduce the maximum grade of the second (graded) Event-B lab by one.

1618005599 04/09/2021 11:59pm