Formale Methoden – Was ist das nochmal? Formale Methoden sind Ansätze, bei denen mathematisch-logische Methoden genutzt werden, um Sicherheitsgarantien für computergestützte Systeme zu liefern. Doch oft ist nicht klar, wie formale Methoden anzuwenden sind, da es zahlreiche Werkzeuge und mathematische Ansätze gibt. Um den Einstieg in das Thema zu erleichtern, hält Matthew Wilding von DARPA kommenden Dienstag, den 18.08. um 14:00 die nächste Session des Trustworthy Tuesdays. Er führt nicht nur in das Forschungsfeld und seine Methoden ein, sondern beantwortet auch Fragen aus dem Publikum. Trustworthy Tuesday ist eine Webinar-Reihe des PROTECT-Projekts der Gesellschaft für Informatik e.V.. Einmal im Monat stellen Forschende nach dem Mittagessen frei nach dem Motto „snackable science“ dort ihre Arbeit aus dem Bereich formale Verifikation und vertrauenswürdige IT vor. 👉 https://trustworthy-it.com/veranstaltungen/detail/trustworthy-tuesday-11-koennen-formale-methoden-mir-helfen-1 #FormaleMethoden #WirsindInformatik #Workshop