BEGIN:VCALENDAR
VERSION:2.0
PRODID:https://github.com/derhansen/sf_event_mgt
METHOD:PUBLISH
BEGIN:VEVENT
UID:7925-409@gi.de
CLASS: PUBLIC
SUMMARY:Trustworthy Tuesday - Muncake
DESCRIPTION:Trustworthy Tuesday dreht sich diesen Monat alles um Kuchen. Im
  Rahmen des „Ecosystem Formally Verifiable IT“ (EvIT) präsentiert die GI di
 e Webinar-Reihe „Trustworthy Tuesday“ wieder am 23. Juni. \n\nAlbert Rizald
 i von PlanV stellt Muncake vor: einen beweisproduzierenden Übersetzer, der 
 Hardware-Modelle, die in HOL4 geschrieben sind, in eine Reihe von Assertion
 s in der Property Specification Language (PSLs) umwandelt, die mit dem kost
 enlosen und quelloffenen Modellprüfer Yosys überprüft werden können. Wenn d
 iese Behauptungen den Yosys-Modellprüfer bestehen, ist mathematisch garanti
 ert, dass sich das Modell in HOL4 und der RTL-Code gleich verhalten.\n\n Di
 e Verifizierung eines Hardware-Designs anhand eines Referenzmodells ist ein
 facher und intuitiver als die Konformitätsprüfung anhand einer Reihe von Ko
 rrektheitseigenschaften. Dieser modellbasierte Ablauf passt auch gut zu gän
 gigen Entwicklungspraktiken, bei denen ein Design zunächst auf einer höhere
 n Abstraktionsebene beschrieben wird, bevor es zu einer Implementierung ver
 feinert wird.\n\nDie Veranstaltung findet am 23. Juni ab 14 Uhr (UTC +2) au
 f Zoom statt. Die Aufzeichnung werden wir nach der Veranstaltung auf die Ev
 IT-Website hochladen.
LOCATION:Online (Zoom)
DTSTAMP:20260610T124811Z
DTSTART:20260623T120000Z
DTEND:20260623T124500Z
END:VEVENT
END:VCALENDAR