Seminar - Advanced Approaches in Software Verification

Seminar: Advanced Approaches in Software Verification (AASV)

Lecturer: Prof. Dr. Marie-Christine Jakobs

The seminar deals with current research topics of the research group Semantics and Verification of Parallel Systems. You will learn about classical and recent research in the area of software verification (i.e., model checking, program analysis, testing, etc.). The current topics are listed here.

Important Dates in SS 2021

  • Initial Meeting: 2021-04-20, 2:.00pm via Zoom
    (Details see Moodle)
  • Topic Choice: online via Moodle until 2021-04-25
  • Presentations: TBA
  • Submission deadlines
    • 2021-05-16 Submission of planned paper structure
    • 2021-06-02 Submission of slide draft
    • 2021-07-18 Submission of paper draft
    • 2021-08-15 Submission of final paper

Topics in SS 2021

Important Dates in WS 2020/21

  • Initial Meeting: 2020-11-05 1.00pm via Zoom
    (Details see Moodle)
  • Topic Choice: online via Moodle until 2020-11-15
  • Presentations: 2021-01-19 11:00 am
  • Submission deadlines
    • 2020-12-06 Submission of planned paper structure
    • 2020-12-20 Submission of slide draft
    • 2021-02-14 Submission of paper draft
    • 2021-03-14 Submission of final paper

Course Content

Under the guidance of your supervisor you will

  • use the given literature and search for additional literature to become acquainted with your topic,
  • prepare and give a presentation about your topic and afterwards discuss the topic with the other participants,
  • write a scientific report, which provides a summary of your topic.

At the end of the seminar, students are able to autonomously familiarize themselves with a scientific topic and are able to present this topic to a heterogeneous audience orally and in written form.

More concrete, the students can search for scientific literature and assess the relevance of found literature. They are able to identify the main content of a scientific publication and critically evaluate them. Moreover, they can compare different scientific approaches. Students can explain and defend their topic and results to a heterogeneous audience in an oral presentation. Additionally, they are able to describe their topic and results in a scientific paper.

Previous Knowledge

Recommended. Knowledge about computer science and mathematics taught int the first four terms of the bachelor degree in computer science

Helpful. Participation in a course of the research group Semantics and Verification of Parallel Systems

Seminar Topics in Past Terms

Topics in WS 2020/21

Topics in SS 2020

Topics in WS 2019/20