Stud.IP Uni Oldenburg
University of Oldenburg
04.06.2023 22:31:40

Personal details

Title From incorrectness logic proofs to violation witnesses
Incorrectness logic is (a logic and associated) proof calculus for deductively showing the existence of program paths to errors. In automatic software verification, program paths to errors are encoded in so called violation witnesses. The task is to develop a method to connect incorrectness logic proofs with violation witnesses in a formal way.

- Incorrectness logic:
- Violation witnesses:
Home institution Department of Computing Science
Type of work conceptual / theoretical
Type of thesis Bachelor's
Author Prof. Dr. Heike Wehrheim
Status available
Problem statement
Created 06/02/23

Study data

  • Formale Methoden
Degree programmes
  • Bachelor's Programme Computing Science
Assigned courses
Contact person