D23 (2022) - Ausgezeichnete Informatikdissertationen

Auflistung nach:

1 - 1 von 1

Konferenzbeitrag
Logische Methoden für die Hierarchie der Hyperlogiken
(Ausgezeichnete Informatikdissertationen 2022 (Band D23), 2023) Hofmann, Jana
Durch die immer prominenter werdende Rolle digitaler Systeme in unserem Alltag muss der Begriff der Korrektheit neu gedacht werden. Digitale Systeme werden in häufig sensiblen Bereichen eingesetzt; ein moderner Korrektheitsbegriff muss daher gesellschaftliche Aspekte wie Datenschutz- und Gerechtigkeitsfragen mit einschließen. Viele dieser Eigenschaften sammeln sich unter dem Dach der Hypereigenschaften, welche mehrere Ausführungen eines Systems in Relation setzen. Während rein pfadbasierte, nicht-relationale Eigenschaften in den letzten Jahrzehnten ausführlich erforscht wurden, sind Hypereigenschaften ein relativ junges Konzept, das noch nicht vollständig verstanden ist. Die hier vorgestellte Dissertation gliedert das Spektrum der Hypereigenschaften anhand einer Hierarchie von Logiken, die verschieden komplexe Klassen von Hypereigenschaften ausdrücken können. Diese Klassifizierung ermöglicht es, Hypereigenschaften unabhängig von ihren jeweiligen Einsatzgebieten zu analysieren und klare Grenzen der Entscheidbarkeit zu ziehen. Basierend auf der entstandenen Hierarchie beschreibt diese Dissertation Algorithmen für die Entwicklung formal korrekter Systeme am Beispiel von Smart Contracts.