A Research Agenda for Formal Methods in the Netherlands

Marieke Huisman, Wouter Swierstra, Eelco Visser. A Research Agenda for Formal Methods in the Netherlands. Technical Report UU-CS-2019-004, Department of Information and Computing Sciences, Utrecht University, Utrecht, The Netherlands, July 2019. [doi]

Abstract

On September 3 and 4, 2018, we organized a meeting on formal methods research in the Netherlands. Goal of the meeting was to create a Dutch formal methods community, to increase awareness of each other’s activities, and to find common grounds for collaborations. All researchers working on formal methods in the Netherlands were invited to contribute a 2-page abstract with their vision on the future of formal methods research. This document bundles these visions.