[Club2] Einladung: Certifying Symbolic Model Checking Methods for Timed Systems - Mi 30. Sep. 2020 15:00 - 15:30 (MESZ) (club2 at mailbroy.informatik.tu-muenchen.de)

[maximilianhaslbeck at gmail.com]

Sie wurden zum folgenden Termin eingeladen.

Titel: Certifying Symbolic Model Checking Methods for Timed Systems
Speaker: Marvin HeinzelmannType: Bachelor's Thesis PresentationAbstract:  
Ongoing research about the verification of timed systemshas led to the  
development of more and more advanced model checkers.Most of these tools  
are however not provably correct. This thesis presents an alternative  
method to formally verify their results.Some model checker can generate  
certificates, which can then be checkedby outside tools. Using the proof  
assistant Isabelle, we apply this approach to the symbolic model checker  
Atmoc. Additionally, we provide a tool to generate input for Atmoc, base on  
a more commonly known specificationformat for timed systems.
Wann: Mi 30. Sep. 2020 15:00 – 15:30 Mitteleuropäische Zeit - Berlin
Wo: https://bbb.rbg.tum.de/sim-h4f-emd

Teilnahmeinformationen: Teilnehmen mit: Google Meet
https://meet.google.com/hsf-tkfe-mog

Kalender: club2 at mailbroy.informatik.tu-muenchen.de
Wer
     * maximilianhaslbeck at gmail.com- Veranstalter
     * wimmers at in.tum.de
     * club2 at mailbroy.informatik.tu-muenchen.de
     * ga27hed at mytum.de

Termininformationen:  
https://www.google.com/calendar/event?action=VIEW&eid=MmRqZm85MjZjM2EzZ3RjOW9uZ3RpMzExNmUgY2x1YjJAbWFpbGJyb3kuaW5mb3JtYXRpay50dS1tdWVuY2hlbi5kZQ&tok=NTIjc2U2ZWJlM3RvZmY0Y2g1bm11bmlibTVtOThAZ3JvdXAuY2FsZW5kYXIuZ29vZ2xlLmNvbWU5ZTg4YmFjYmRiMDVhMzQzNDAwOWYxMzhkMjY4N2JmMWFhMDYyZGQ&ctz=Europe%2FBerlin&hl=de&es=0

Einladung von Google Kalender: https://www.google.com/calendar/

Sie erhalten diese E-Mail unter club2 at mailbroy.informatik.tu-muenchen.de,  
da Sie ein Gast bei diesem Termin sind.

Lehnen Sie diesen Termin ab, um keine weiteren Informationen zu diesem  
Termin zu erhalten. Sie können auch unter https://www.google.com/calendar/  
ein Google-Konto erstellen und Ihre Benachrichtigungseinstellungen für  
Ihren gesamten Kalender steuern.

Wenn Sie diese Einladung weiterleiten, kann jeder Empfänger eine Antwort an  
den Organisator senden und zur Gästeliste hinzugefügt werden. Außerdem  
könnte er weitere Nutzer einladen und Ihre Antwort ändern. Weitere  
Informationen: https://support.google.com/calendar/answer/37135#forwarding
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mailman46.in.tum.de/pipermail/club2/attachments/20200923/c7ccdeea/attachment.htm>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: text/calendar
Size: 2543 bytes
Desc: not available
URL: <https://mailman46.in.tum.de/pipermail/club2/attachments/20200923/c7ccdeea/attachment.ics>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: invite.ics
Type: application/ics
Size: 2592 bytes
Desc: not available
URL: <https://mailman46.in.tum.de/pipermail/club2/attachments/20200923/c7ccdeea/attachment.bin>