Termination analysis of procedural pointer programs modelled by graph grammars

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

Aachen : RWTH Aachen University (2022)
Masterarbeit

Masterarbeit, RWTH Aachen University, 2022

Kurzfassung

Einrichtungen

  • Fachgruppe Informatik [120000]
  • Lehrstuhl für Informatik 2 (Softwaremodellierung und Verifikation) [121310]

Identifikationsnummern

Downloads