Anton Wijs

Paula Herber

This volume LNCS 14300 constitutes the refereed proceedings of the 18th International Conference, IFM 2023, in November 2023, held in Leiden, The Netherlands. The 16 full papers presented together with 2 short papers were carefully reviewed and selected from 51 submissions. The conference focuses on all aspects of the design of integrated techniques, including language design, verification and validation, automated tool support, and the use of such techniques in software engineering practice.

18th International Conference, iFM 2023, Leiden, The Netherlands, November 13–15, 2023, Proceedings

iFM 2023

Dragan Bošnački

This book constitutes the refereed proceedings of the 23rd International Symposium on Model Checking Software, SPIN 2016, held in Eindhoven, The Netherlands, in April 2016. The 16 papers presented, consisting of 11 regular papers, 1 idea paper, and 4 tool demonstrations, were carefully reviewed and selected from 27 submissions. Topics covered include model checking techniques, model checking tools, concurrent system semantics, equivalence checking, temporal logics, probabilistic systems, schedule and strategy synthesis using model checking, and verification case studies.

23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings

Model Checking Software

Gwen Salaün

This book constitutes the thoroughly revised selected papers from the 17th International Symposium, FACS 2021, which was hel virtually in October 2021. The 7 full papers and 1 short contribution were carefully reviewed and selected from 16 submissions and are presented in the volume together with 1 invited paper. FACS 2021 is concerned with how formal methods can be applied to component-based software and system development. The book is subdivided into two blocks: Modelling & Composition and Verification. Chapter "A Linear Parallel Algorithm to Compute Bisimulation and Relational Coarsest Partitions" is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.

Anton Wijs

Books

Your next favorite book is out there