ICE-TCS seminar: Luca Aceto - Reykjavik University and Gran Sasso Science Institute

Testing equivalence vs. runtime monitoring

  • 22.1.2019, 12:15 - 13:00


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’ (

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.