Verification of Branching-Time and Alternating-Time Properties for Exogenous Coordination Models
- Datum
- 19.03.2012
- Zeit
- 10:00 - 11:00
- Sprecher
- Diplom-Informatiker Sascha Klüppelholz
- Zugehörigkeit
- Institut für Theoretische Informatik
- Sprache
- en
- Hauptthema
- Informatik
- Andere Themen
- Informatik
- Beschreibung
- The goal of this thesis was to introduce a formal holistic approach for modeling, analysis and synthesis of parallel systems that potentially addresses complex system behavior at any layer of the hardware/software stack and at any reasonable level of abstraction. The approach that will be presented in this talk has been developed within the scope of this thesis and is based on the exogenous coordination language Reo and constraint automata as their formal semantics. The talk will give an overview on the developed holistic approach and will focus on the analysis of parallel systems which centers around the newly developed branching and alternating time logics BTSL and ASL with corresponding model checking algorithms.
Letztmalig verändert: 19.03.2012, 08:36:49
Veranstaltungsort
TUD Andreas-Pfitzmann-Bau (Informatik) (INF 1004 (Ratssaal))Nöthnitzer Straße4601069Dresden
- Homepage
- https://navigator.tu-dresden.de/etplan/apb/00
Veranstalter
TUD InformatikNöthnitzer Straße4601069Dresden
- Telefon
- +49 (0) 351 463-38465
- Fax
- +49 (0) 351 463-38221
- Homepage
- http://www.inf.tu-dresden.de
Scannen Sie diesen Code mit Ihrem Smartphone and bekommen Sie die Veranstaltung direkt in Ihren Kalender. Sollten Sie Probleme beim Scannen haben, vergrößern Sie den Code durch Klicken darauf.
Legende
- Ausgründung/Transfer
- Bauing., Architektur
- Biologie
- Chemie
- Elektro- u. Informationstechnik
- für Schüler:innen
- Gesellschaft, Philos., Erzieh.
- Informatik
- Jura
- Maschinenwesen
- Materialien
- Mathematik
- Medizin
- Physik
- Psychologie
- Sprache, Literatur und Kultur
- Umwelt
- Verkehr
- Weiterbildung
- Willkommen
- Wirtschaft