Veröffentlicht am 07. Februar 2017.

BTC Vortrag auf der SC2 Summer School 2017

31.07. - 04.08.2017

Dr. Tom Bienmüller (Senior Vice President Products) hält einen Vortrag auf der internationalen SC Summer School 2017 in Saarbrücken.

Das vom Max Planck Institute für Informatik veranstaltete Event bietet Studenten sowie Forschern aus Akademie und Industrie die Möglichkeit, Ansätze und Forschungsergebnisse im Bereich der Erfüllbarkeitstheorie auszutauschen und zu diskutieren. Die BTC Embedded Systems AG als forschungsnaher Industrievertreter gibt mit ihrem Vortrag "Industrial applications and challenges for verifying reactive embedded software" Einblicke in die praktische Anwendung formaler Methoden und zeigt außerdem Herausforderungen auf, welche zukünftig betrachtet und angegangen werden müssen.

Sie finden weitere Informationen unter folgendem Link: http://www.sc-square.org/CSA/school/index.html

Max Plack Institute for Informatics
Max Plack Institute for Informatics