Integrated Formal Methods: 14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings (Lecture Notes in Computer Science Book 11023)

This book constitutes the refereed proceedings of the 14th International Conference on Integrated Formal Methods, IFM 2018, held in Maynooth, Ireland, in September 2018. The 17 full papers and 5 short papers presented together with 3 invited talks were carefully reviewed and selected from 60 submissions. The conference covers a broad spectrum of topics: from language design, to verification and analysis techniques, to supporting tools and their integration into software engineering practice. Front Matter ....Pages I-XVI Modelling and Verification for Swarm Robotics (Ana Cavalcanti, Alvaro Miyazawa, Augusto Sampaio, Wei Li, Pedro Ribeiro, Jon Timmis)....Pages 1-19 On the Industrial Uptake of Formal Methods in the Railway Domain (Davide Basile, Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi, Franco Mazzanti, Andrea Piattino et al.)....Pages 20-29 Reasoning About JML: Differences Between KeY and OpenJML (Jan Boerman, Marieke Huisman, Sebastiaan Joosten)....Pages 30-46 Design and Verification of Restart-Robust Industrial Control Software (Dimitri Bohlender, Stefan Kowalewski)....Pages 47-68 Efficiently Characterizing the Undefined Requests of a Rule-Based System (Zheng Cheng, Jean-Claude Royer, Massimo Tisi)....Pages 69-88 Study of Integrating Random and Symbolic Testing for Object-Oriented Software (Marko Dimjašević, Falk Howar, Kasper Luckow, Zvonimir Rakamarić)....Pages 89-109 Making Linearizability Compositional for Partially Ordered Executions (Simon Doherty, Brijesh Dongol, Heike Wehrheim, John Derrick)....Pages 110-129 Security Protocol Analysis in Context: Computing Minimal Executions Using SMT and CPSA (Daniel J. Dougherty, Joshua D. Guttman, John D. Ramsdell)....Pages 130-150 A Precise Pictorial Language for Array Invariants (Johannes Eriksson, Masoumeh Parsa, Ralph-Johan Back)....Pages 151-160 Robotics and Integrated Formal Methods: Necessity Meets Opportunity (Marie Farrell, Matt Luckcuck, Michael Fisher)....Pages 161-171 Formal Modelling of Software Defined Networking (Vashti Galpin)....Pages 172-193 Resource-Aware Virtually Timed Ambients (Einar Broch Johnsen, Martin Steffen, Johanna Beate Stumpf, Lars Tveito)....Pages 194-213 Stateful Behavioral Types for Active Objects (Eduard Kamburjan, Tzu-Chun Chen)....Pages 214-235 Probabilistic Verification of Timing Constraints in Automotive Systems Using UPPAAL-SMC (Eun-Young Kang, Dongrui Mu, Li Huang)....Pages 236-254 Facilitating the Implementation of Distributed Systems with Heterogeneous Interactions (Salwa Kobeissi, Adnan Utayim, Mohamad Jaber, Yliès Falcone)....Pages 255-274 State-of-the-Art Model Checking for B and Event-B Using ProB and LTSmin (Philipp Körner, Michael Leuschel, Jeroen Meijer)....Pages 275-295 Towards a Formal Notion of Impact Metric for Cyber-Physical Attacks (Ruggero Lanotte, Massimo Merro, Simone Tini)....Pages 296-315 Task Planning with OMT: An Application to Production Logistics (Francesco Leofante, Erika Ábrahám, Armando Tacchella)....Pages 316-325 Branching Temporal Logic of Calls and Returns for Pushdown Systems (Huu-Vu Nguyen, Tayssir Touili)....Pages 326-345 Repair and Generation of Formal Models Using Synthesis (Joshua Schmidt, Sebastian Krings, Michael Leuschel)....Pages 346-366 Mode-Aware Concolic Testing for PLC Software (Hendrik Simon, Stefan Kowalewski)....Pages 367-376 Formalisation of SysML/KAOS Goal Assignments with B System Component Decompositions (Steve Jeffrey Tueno Fotso, Marc Frappier, Régine Laleau, Amel Mammar, Michael Leuschel)....Pages 377-397 Analysing AWN-Specifications Using mCRL2 (Extended Abstract) (Rob van Glabbeek, Peter Höfner, Djurre van der Wal)....Pages 398-418 Back Matter ....Pages 419-420