https://github.com/0snap/fgi3-seminar

FGI-Seminar WiSe 15/16 Universität Hamburg. Thema: LTL => Omega-Automaten
https://github.com/0snap/fgi3-seminar

Last synced: 27 days ago
JSON representation

FGI-Seminar WiSe 15/16 Universität Hamburg. Thema: LTL => Omega-Automaten

• Host: GitHub
• URL: https://github.com/0snap/fgi3-seminar
• Owner: 0snap
• Created: 2016-01-11T18:32:53.000Z (over 9 years ago)
• Default Branch: master
• Last Pushed: 2016-02-25T13:45:53.000Z (about 9 years ago)
• Last Synced: 2025-02-06T12:15:51.344Z (3 months ago)
• Language: TeX
• Homepage:
• Size: 780 KB
• Stars: 0
• Watchers: 3
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

        
# Seminararbeit zum Thema Omega Automaten und LTL

Uni Hamburg, Informatik

Modul "Formale Grundlagen der Informatik 3 -- FGI3" 

Gliederungsentwurf:

* Einleitung, Motivation                                    (Felix)

  * LTL Validation / Verifikation mit automatentheoretischen Mitteln 

* (Omega) Automaten, kurz                                   (Jennifer)

  * Endliche Automaten

  * Büchi Automaten + Alternation

* LTL                                                       (Felix)

  * Grundlagen / Operatoren

  * Alternative Semantik (die von Vardi)

  * Eigenleistung: Semantische Bedeutung von F, G, R

  * Beispiel?

* LTL zu alternierenden Büchi Automaten                     (Felix)

  * Vorstellung + Erklärung des Beweises von Vardi

  * kein Exp-Blowup, Vorteile vorstellen

* LTL zu Büchi Automaten                                    (Jennifer)

  * Überführung von alternierenden Büchi zu "normalen" Büchi Automaten 

  * Daraus resultierend LTL mit "normalen" Büchi Automaten

* Ausblick Modelchecking                                    (TBD)          

* Zusammenfassung                                           (TBD)