Trends in Mobilen und Verteilten Systemen WiSe 2026/27

Software Security WiSe 2026/27

Process Mining WiSe 2026/27

Logic for Security WiSe 2026/27

Implementation of Modern Database Systems WiSe 2026/27

Emerging Topics in Machine Learning and AI WiSe 2026/27

Basics of Generative AI - Bachelor Seminar WiSe 2026/27

Bachelor-Seminar "Software-Model-Checking-Algorithmen für SV-LIB" WiSe 2026/27

Bachelor-Seminar "Software Quality Assurance" WiSe 2026/27

Bachelor-Seminar "Parallel Approaches for Software Verification" WiSe 2026/27

Organization

  • Registration via  central registration process for Bachelor seminars 
  • The seminar will be in English.
  •  The seminar will be organized as a block seminar with the talks planned for Friday December 4th and 11th, 2026. All talks need to be given in presence.

Content
To profit from advances of today's hardware, tools and approaches need to be able to efficiently use multi-core architectures. This seminar discusses techniques that parallelize the software verification process to profit from today's multi-core architectures. On the one hand, we look into techniques that split the work, e.g., the state space or properties to be analyzed, and distribute the work among different workers, which basically run a sequential verifier on the split. On the other hand, we look into parallel algorithms for software verification. Each seminar topic will cover one of the following topics.

Under the guidance of your supervisor you will
  •  use the given literature and may 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,
  • as well as 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.