benefits from the growing popularity of formal methods. After the workshops in Aalborg