Version 1.11
Vortrag: Beweisbar sichere Software
![](/2020/fahrplan/assets/event_large-4b8aa978adbb7c8e80151f5a83c6782a12e763374ae3a042a55e7e626a64d93b.png)
Die Verifikation von Software, also das Beweisen von Eigenschaften auf Basis des Programmcodes hat in den vergangenen Jahren signifikante Fortschritte gemacht. Insbesondere die Automatisierung von Beweisen erlaubt mittlerweile eine Softwareverifikation ohne tiefgreifende Wissen in formalen Methoden.
Die ist ein Übersichtsvortrag über das Spektrum von verifizierbaren Programmiersprachen und Theorembeweisern. Es wird versucht, Idris, F*, Coq, Lean, Why3, Liquid Haskell und weitere zu kategorisieren und anhand von Beispielen Stärken und Schwächen der Ansätze aufzuzeigen.
Info
Tag:
19.09.2020
Anfangszeit:
13:00
Dauer:
00:45
Raum:
Vortrag
Track:
Technik
Sprache:
de
Links:
Gleichzeitige Events
Referenten
![]() |
Marius Melzer |