Preface

Applying formal methods may involve the usage of different formalisms and different analysis techniques to validate a system, either because individual components are most amenable to one formalism or technique, because one is interested in different properties of the system, or simply to cope with the sheer complexity of the system. The iFM conference series seeks to further research into hybrid approaches to formal modeling and analysis; i.e., the combination of (formal and semi-formal) methods for system development, regarding both modeling and analysis. The conference covers all aspects from language design through verification and analysis techniques to tools and their integration into software engineering practice. These proceedings document the outcome of the 12th International Conference on Integrated Formal Methods, iFM 2016, on recent developments toward this goal. The conference was held in Reykjavik, Iceland, during June 1–5, 2016, hosted by Reykjavik University. Previous editions of iFM were held in York, UK (1999), Schloss Dagstuhl, Germany (2000), Turku, Finland (2002), Kent, UK (2004), Eindhoven, The Netherlands (2005), Oxford, UK (2007), Düsseldorf, Germany (2009), Nancy, France (2010), Pisa, Italy (2012), Turku, Finland (2013), and Bertinoro, Italy (2014). The conference received 99 submissions of authors from 34 countries. Papers were submitted in four categories: research papers, regular tool papers, short tool papers, and case study papers. All papers were reviewed by at least three members of the Program Committee. After careful deliberations, the Program Committee selected 30 papers for presentation. In addition to these papers, this volume contains contributions of three invited keynote speakers: Reiner Hähnle, TU Darmstadt, Germany; Laura Kovács, Chalmers University of Technology, Sweden, and TU Wien, Austria; and Marsha Chechik, University of Toronto, Canada: