Vorstudien zum Projekt ÖvIT
Ökosystem vertrauenswürdige IT: Beweisbare Cybersicherheit (ÖvIT)
Los 1: Formal Verification of Complex Software Systems – A Study
Projektpartner/Auftragnehmer
FZI Forschungszentrum Informatik: Bernhard Beckert, Oliver Denninger, Jonas Klamroth, Max Scheerer, Jörg Henß
Abstract der Veröffentlichung
Formal software verification methods can prove both functional and non-functional properties of software systems. Unlike methods such as testing or debugging, they can guarantee that a software system does not exhibit behavior violating a given specified property. Thus, they achieve a higher level of trust. Formal verification of software has a long history in research, but has never made the transition to broad industrial application. This study presents the state of the art in formal verification research for software systems and provides recommendations for improving the state of the art and its industrial application.
Kontakt
Immer uptodate? Abonnieren Sie unseren wissenschaftlichen Newsletter, dann erfahren Sie schnell, welche Ausschreibungen wir gerade aktuell veröffentlicht haben sowie weitere interessante Informationen aus dem Bereich Forschung und Innovation.
Besuchen Sie auch unserer Karriereseiten, um mehr über offene Stellenangebote oder Angebote für Studierende zu erfahren.