BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//pretalx//pretalx.com//medconf2026//speaker//WKR9K7
BEGIN:VTIMEZONE
TZID:CET
BEGIN:STANDARD
DTSTART:20001029T040000
RRULE:FREQ=YEARLY;BYDAY=-1SU;BYMONTH=10
TZNAME:CET
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
END:STANDARD
BEGIN:DAYLIGHT
DTSTART:20000326T030000
RRULE:FREQ=YEARLY;BYDAY=-1SU;BYMONTH=3
TZNAME:CEST
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
END:DAYLIGHT
END:VTIMEZONE
BEGIN:VEVENT
UID:pretalx-medconf2026-HJQZCK@pretalx.com
DTSTART;TZID=CET:20260520T171500
DTEND;TZID=CET:20260520T180000
DESCRIPTION:Formale Methoden können Testaufwände senken und - anders als 
 Tests - Garantien geben\, dass ein Stück Software wichtige Eigenschaften 
 wie zum Beispiel Security und Safety erfüllt.  Für formale Methoden gibt
  es viele Techniken und Werkzeuge - eigentlich ein Vorteil.  Diese Vielfal
 t kann aber auch den Einstieg erschweren\, weil unklar ist\, welches Werkz
 eug das richtige für das Projekt ist.\n\nWir benutzen ein einen einfachen
  Herzschrittmacher auf Basis des Bresenham-Algorithmus\, um konkret formal
 e Methoden und ihre Werkzeuge zu demonstrieren: Model Finding\, SMT-Solver
 \, Beweisassistenten und darauf aufbauende Analysen von Quellcode.  Dabei 
 betrachten wir die präzise Formulierung der Spezifikation\, die Beweisfü
 hrung zur Korrektheit und den Weg zum lauffähigen Code.
DTSTAMP:20260530T084346Z
LOCATION:Kopernikus 1
SUMMARY:Formale Methoden am Praxisbeispiel - Michael Sperber\, Markus Schle
 gel
URL:https://pretalx.com/medconf2026/talk/HJQZCK/
END:VEVENT
END:VCALENDAR