Sumários
Alloy exercises
7 dezembro 2017, 12:30 • Jan Gunnar Cederquist
Exercises A.2.1 (Telephone Switch), A.2.3 (Inmate Assignment) from the reference book.
Support for 2nd project.
Alloy exercises
7 dezembro 2017, 11:00 • Jan Gunnar Cederquist
Exercises A.2.1 (Telephone Switch), A.2.3 (Inmate Assignment) from the reference book.
Support for 2nd project.
Event-B to Alloy
5 dezembro 2017, 11:00 • Jan Gunnar Cederquist
Checking Event-B by encoding Event-B model into Alloy.
Slides: TA6-ES-Event-B-Alloy.
Reference: Matos-MarquesdaSilva.pdf.
Alloy exercises
30 novembro 2017, 12:30 • Jan Gunnar Cederquist
Exercises A.2.1 (Telephone Switch), A.2.3 (Inmate Assignment) from the reference book.
Support for 2nd project.
Alloy exercises
30 novembro 2017, 11:00 • Jan Gunnar Cederquist
Exercises A.2.1 (Telephone Switch), A.2.3 (Inmate Assignment) from the reference book.
Support for 2nd project.