Konferenzbeitrag
Logische Methoden für die Hierarchie der Hyperlogiken
Lade...
Volltext URI
Dokumententyp
Text/Conference Paper
Dateien
Zusatzinformation
Datum
2023
Autor:innen
Zeitschriftentitel
ISSN der Zeitschrift
Bandtitel
Verlag
Gesellschaft für Informatik e.V.
Zusammenfassung
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.