Publikation

Enabling rule-based application of correctness analyses in MUST

  • Ermöglichung der regelbasierten Anwendung von Korrektheitsanalysen in MUST

Nguyen, Dinh Thuy Vy; Müller, Matthias S. (Thesis advisor); Lankes, Stefan (Thesis advisor); Tomski, Felix (Consultant)

Aachen : RWTH Aachen University (2025)
Bachelorarbeit

Bachelorarbeit, RWTH Aachen University, 2025

Kurzfassung

Einrichtungen

  • Fakultät für Informatik [120000]
  • Lehrstuhl für Hochleistungsrechnen (Informatik 12) [123010]