Formal Methods - Fun for Everybody: First International Workshop, FMFun 2019, Bergen, Norway, December 2-3, 2019, Revised Selected Papers

This collection of papers showcases the outcomes of the First International Workshop on Formal Methods, held in Bergen, Norway, in December 2019. Engaging with a diverse range of topics, it captures the essence of the workshop's aim to make formal methods accessible and enjoyable for all. The editors have curated a selection of revised papers that reflect innovative ideas and practical applications in the field.

Through contributions from various experts, the volume highlights how formal methods can be leveraged beyond traditional boundaries, incorporating creative approaches and demonstrating their relevance across different disciplines. Readers can expect insightful discussions that challenge conventional thinking while fostering a collaborative spirit in the exploration of formal methods.