ICE-TCS seminar: Luca Aceto - Reykjavik University and Gran Sasso Science Institute
Testing equivalence vs. runtime monitoring
ICE-TCS seminar #327
Date and time: Tuesday, 22 January 2019, 12:10-13:00
Location: Room M120 (note the new room for the spring 2019 semester)
Speaker: Luca Aceto (Reykjavik University and Gran Sasso Science Institute)
Title: Testing equivalence vs. runtime monitoring
Abstract: When do two programs, or, more generally, computing systems exhibit the same behaviour? This is a fundamental question in computer science that appears in programming, compiler design, software engineering and many other fields.
A classic and seminal answer to that question was provided 35 years ago in a journal paper by De Nicola and Hennessy, who studied three notions of testing equivalence. In this talk, I will introduce the main ideas behind the testing equivalences à la De Nicola-Hennessy and relate them with the framework for runtime monitoring we have developed in the context of the project ‘TheoFoMon: Theoretical Foundations for Monitorability’ (http://icetcs.ru.is/theofomon/).
The talk builds on joint work with Antonis Achilleos and Anna Ingólfsdóttir (RU), Adrian Francalanza (University of Malta) and Karoliina Lehtinen (University of Liverpool).
Warning: This whiteboard talk will be accessible to students and assumes no previous knowledge of testing equivalences and runtime monitoring.