The Probabilistic Model Checker Storm -- Symbolic Methods for Probabilistic Model Checking

When
Mon Dec 3, 2018 15:00 – 16:00 Central European Time - Berlin
Where
Gebäude E3, Raum 9007, Ahornstr. 55 (map)
Calendar
vortraege@informatik.rwth-aachen.de
Who
•
michaelcochez@gmail.com - organizer
•
bibliothek@informatik.rwth-aachen.de
•
infprof@informatik.rwth-aachen.de
•
assistenten@informatik.rwth-aachen.de
•
dehnert@cs.rwth-aachen.de
•
webteam@informatik.rwth-aachen.de
•
vortraege@informatik.rwth-aachen.de
+**********************************************************************
*
*
* 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...

Going (vortraege@informatik.rwth-aachen.de)?    - -     

Invitation from Google 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.