Marieke Huisman gave a keynote talk titled "VerCors: Inclusive Software Verification" at the Dutch Formal Methods Day 2024.