Projektverantwortung vor Ort: Prof. Dr. Bernhard M?ller
?
Beteiligte WissenschaftlerInnen der Universit?t Augsburg:?Roland Glück, Dr. Peter H?fner , Han-Hing Dang
?
Beteiligte WissenschaftlerInnen / Kooperationen: Prof. Dr. Jules Desharnais (Université Laval), Dr. Georg, Struth (伟德国际_伟德国际1946$娱乐app游戏 of Sheffield) und andere
?
?
Zusammenfassung
Halbringe treten in vielen Bereichen der Informatik auf. Sie charakterisieren die fundamentalen Operationen + (Auswahl) und ? (sequentielle Komposition). H?ufig lassen sich die Halbringelemente als Mengen von Abl?ufen interpretieren. Tests sind spezielle Halbringelemente, die Mengen von Abl?ufen der L?nge 1, d.h. Mengen von Zust?nden, repr?sentieren. Sie spielen die Rolle von Zusicherungen in der Programmverifikation. Die Vor- und Nachbereichsoperatoren liefern Tests, die die Anfangs- und Endzust?nde einer Menge von Abl?ufen charakterisieren. Mit ihrer Hilfe lassen sich Diamant- und Box-Operatoren definieren, die die Verbindung zur modalen Logik und dem μ-Kalkül herstellen.
