B. Gleiss: "Automated Software Verification using Superposition-based Theorem Proving"; Supervisor, Reviewer: L. Kovacs, S. Schulz; Institut for Logic and Computation, E192.04, 2020; oral examination: 2020-12-07.