This event has been canceled.
Title: The Probabilistic Model Checker Storm -- Symbolic Methods for Probabilistic Model Checking +********************************************************************** * * * Einladung * * * * Informatik-Oberseminar * * * +**********************************************************************
Zeit: Montag, 3. Dezember 2018, 15.00 Uhr Ort: Gebäude E3, Raum 9007, Ahornstr. 55
Referent: Dipl.-Inform. Christian Hensel
Thema: The Probabilistic Model Checker Storm -- Symbolic Methods for Probabilistic Model Checking
Abstract:
In a world in which we increasingly rely on safety critical systems that simultaneously are becoming ever more complex, formal methods provide a means to mathematically rigorously prove systems correct. Model checking is a fully aut... When: Mon Dec 3, 2018 15:00 – 16:00 Central European Time - Berlin Where: Gebäude E3, Raum 9007, Ahornstr. 55 Calendar: vortraege@informatik.rwth-aachen.de Who: (Guest list has been hidden at organizer's request)
Invitation from Google Calendar: https://www.google.com/calendar/
You are receiving this courtesy email at the account vortraege@informatik.rwth-aachen.de because you are an attendee of this event.
To stop receiving future updates for this event, decline this event. Alternatively you can sign up for a Google account at https://www.google.com/calendar/ and control your notification settings for your entire calendar.
Forwarding this invitation could allow any recipient to modify your RSVP response. Learn more at https://support.google.com/calendar/answer/37135#forwarding