Model Checking: Techniques and Applications Swen Jacobs

News

23.11.2020

Presentation Topics

Dear students,

you should now all have received an email that informs you of your presentation topics. If you have not received it, please let me know soon.

Cheers,

13.11.2020

Handbook and Kickoff Slides available

Dear students,

I have added the slides of our kickoff meeting and a link to the Handbook of Model Checking under Information>Materials.

If you have problems accessing the handbook (should work with a VPN to UdS), please let us know ASAP. The same holds if you... Read more

Dear students,

I have added the slides of our kickoff meeting and a link to the Handbook of Model Checking under Information>Materials.

If you have problems accessing the handbook (should work with a VPN to UdS), please let us know ASAP. The same holds if you have any other questions regarding the proseminar :)

See you next week!

12.11.2020

Meeting Link for Tomorrow

Dear students,

the meeting link for the Zoom meeting tomorrow (and following meetings) is now available under Information>Materials>General.

See you tomorrow!

09.11.2020

First meeting

Dear students,

our first meeting will take place on Friday at 10:15. You will receive a zoom link to join.

See you there!

 

Model Checking: Techniques and Applications

This Proseminar is concerned with model checking, a fully automatic approach for the verification of hardware, software, and computer-controlled systems. Students will learn about the basics of model checking, as well as some advanced techniques and specific applications of the approach. The structure will be such that a couple of basic topics are pre-selected and will definitely be covered, and the advanced topics will be chosen according to the interest of the participants.

During this class, students will learn how to read scientific texts and how to give a scientific presentation. Students will read up on a topic, summarize it, and teach the findings to their fellows in a presentation. After a practice run, students are asked to give feedback, enabling a process of improvement for the final presentation.

Talks: We expect you to give two talks on the topics you have been assigned, an ungraded practice talk to provide feedback about the quality of your work so far, and a graded final talk. Talks will be virtual, via Zoom.

Feedback and Discussion: Attendance to all talks is mandatory. We expect you to provide feedback to your fellow students after the practice talks, and participate in discussions after the final talks.

Summary: At the end of the semester, we expect you to submit a short summary of your paper.

Requirements: We expect you to understand basic mathematical notation and have the ability to think about abstract concepts. We will provide all further background knowledge.



Privacy Policy | Legal Notice
If you encounter technical problems, please contact the administrators