Implementation of a Predicate-Guided Termination Analysis for Pointer Programs

Khalifa, Mohamed; Fesefeldt, Ira Justus (Thesis advisor); Noll, Thomas (Thesis advisor); Katoen, Joost-Pieter (Thesis advisor)

Aachen (2020)
Bachelorarbeit

Bachelorarbeit, RWTH Aachen University, 2020