Behavioural types are a well-established approach for verifying the correctness of message-passing programs. They were initially developed for static type checking, and later extended toward run-time verification through various forms of dynamic checking and monitoring. In this talk I will provide an overview of this evolution. I will focus on session types (one of the most successful variants of behavioural types) and the problem of combining static and run-time verification.