ausblenden:
Schlagwörter:
-
Zusammenfassung:
Wir erforschen Rahmenbedingungen, die es ermöglichen, Beweisaufgaben in
komplexen Theorien modular in Beweisaufgaben für die einfacheren Bestandteile
dieser Theorien zu zerlegen. Durch Ausnutzung der Modularität sind solche
Beweisverfahren besonders flexibel und effizient und deshalb in vielen
Bereichen (wie etwa in der Verifikation komplexer Systeme, aber auch in der
Mathematik oder Wissensrepräsentation) anwendbar.