Logo des Repositoriums

Auflistung nach Autor:in "Denninger, Oliver"

1 - 2 von 2
  • Textdokument
    Holistische Verifikation von Hybriden Quantenprogrammen durch Software Bounded Model Checking
    (INFORMATIK 2021, 2021) Klamroth,Jonas; Scheerer, Max; Denninger, Oliver
    Quantencomputer erschließen uns durch ihren überpolynomiellem Speedup neue Anwendungsfelder für schwer-berechenbare Probleme. Der Entwurf von Quantenalgorithmen ist bisher allerdings komplex und fehleranfällig. Daher ist zu erwarten, dass vorerst nur einzelne Subroutinen eines Programms auf Quantencomputern umgesetzt werden. Um die Korrektheit solcher Programme garantieren zu können, sind neue Ansätze erforderlich. In dieser Arbeit stellen wir einen Ansatz zum vollautomatischen Nachweis der Korrektheit von Programmen mit eingebetteten Quantenalgorithmen vor. Dazu bauen wir auf Bounded-Model-Checking-Verfahren auf, welche die Fehlerfreiheit hinsichtlich einer gegebenen Spezifikation beweisen können. Als Spezifikationssprache verwenden wir JML. Dabei werden die Quantenalgorithmen als Quantenschaltkreis beschrieben und in Java eingebettet. Wir zeigen die Umsetzbarkeit unseres Ansatzes an zwei etablierten Quantenalgorithmen.
  • Konferenzbeitrag
    Software Engineering am FZI Forschungszentrum Informatik
    (Software Engineering 2020, 2020) Henß, Jörg; Denninger, Oliver
    Im Folgenden geben wir einen kurzen Überblick über das Profil und die Forschungs- und Transferschwerpunkte des Forschungsbereichs Software Engineering am FZI. Neben ausgewählten Schwerpunkten im Bereich Prozess- und Software-Architektur-Analysen geben wir einen Ausblick auf zukünftige Themen.