Verification Bernd Finkbeiner

Dear students,

the exam will take place on Thursday, 23, at 1pm in HSI E2.5 and HSII E2.5. Please make sure to be there no later than 12:50, so that we can start in time.

Students with last names from A to M will write in HSI and students with last names from N-Z will write in HSII. There will be no further seating arrangement.

Please keep in mind that the exam is open book.

Dear students,

we've almost reached the end of the verification course -- thank you all for participating so actively, it has been great to work with all of you!

In our final lecture on Thursday, we will host a competition between the IC3-based model checkers that have been submitted as an optional project. We've prepared a small surprise for the winning group. So if you think it could be you, please attend!

All the best,
Bernd Finkbeiner, Christopher Hahn, Norine Coenen, Paul Gölz, Maximilian Schwenger, and Leander Tentrup

We fixed the date for the re-exam to April 3, 10:00 am. The end term exam will be on February 23 at 1:00 pm. The duration of our exams will be 150 minutes. The exams will be "open book", i.e., you are allowed to access any hand-written or printed materials you bring to the exam, including books, problem sets and slides. Electronic devices are prohibited.

Please make sure to register in time in the LSF. An additional registration in the rCMS is not needed.

The description for the optional project is now available in the materials section. If you would like to participate (and earn up to 0.7 bonus to your grade), please send an email to Maximilian (schwenger@stud.uni-saarland.de) until Jan 19, 6pm containing the names of every member in your group. The maximal group size is two.

Dear Students,

We are offering a block seminar on Runtime Verification. Runtime verification is a dynamic analysis method, where an execution of a system is checked during runtime against a specification. 

The seminar is a two week seminar that will take place in March. The registration is open until Thursday, December 22nd. For more information please visit the course's page or contact Hazem Torfah. 

The first part of our project is now online. You may find the project handout in the materials section.
Important: Please register as soon as possible at https://version.react.uni-saarland.de with the same email address you used in the rcms.
If you register until 4pm, we will assign you as soon as possible to your project repository and hence grant you access to the code template.
Otherwise, your access to the project might be delayed.

Have fun with the project!

The project will start on Tuesday Nov 22. The workload of the project is designed for groups of two people. Hence, please upload a text file until Monday Nov 21 on your personal status page including your and your teammates matriculation number and name. It is sufficient to upload one text file for each team.

While you may also do the project on your own, we strongly recommend you to get in touch with your classmates in the forum to find a teammate.

Due to some time collisions, we now offer a third tutorial on Wednesdays 12 noon. You may choose between the following time slots on your personal status page until Nov 3:
Monday 10-12
Monday 12-14
Wednesday 12-14

If you have any problems regarding the organization of the course, please write an email to hahn@react.uni-saarland.de or use the forums.