Integrated Formal Methods: 16th International Conference, IFM 2020, Lugano, Switzerland, November 16–20, 2020, Proceedings

The proceedings capture the innovative discussions and research presented at the 16th International Conference on Integrated Formal Methods, held in Lugano, Switzerland. Gathered within these pages are contributions from leading experts in the field, showcasing the latest advancements and ideas in formal methods for software and systems engineering.

The collection highlights a variety of topics, demonstrating the wide-ranging applications of integrated formal methodologies. Each paper reflects the commitment of researchers to enhance precision, reliability, and verification in complex systems, aiming to bridge the gap between theoretical research and practical implementation.

Through its rigorous peer-review process, this volume stands as a significant resource for scholars and practitioners alike, eager to expand their knowledge and engage with cutting-edge formal techniques. The discussions encapsulated in this work not only advance the understanding of integrated formal methods but also inspire future research endeavors in this critical area of study.