Integrated formal methods : 14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings / edited by Carlo A. Furia, Kirsten Winter.

Dynamic Symbolic Execution for Software Analysis
Integrating Formal Methods for Modeling and Simulation of Swarm Robotics
Program Correctness Under Weak Memory Consistency
On the Industrial Uptake of Formal Methods in the Railway Domain: A Survey with Stakeholders
Reasoning About JML: Differences Between KeY and OpenJML
Design and Verification of Restart-robust Industrial Control Software
Efficiently Characterizing the Undefined Requests of a Rule-Based System
Study of Integrating Random and Symbolic Testing for Object-Oriented Software
Making Linearizability Compositional for Partially Ordered Executions
Security Protocol Analysis in Context: Computing Minimal Executions Using SMT and CPSA
A Precise Pictorial Language for Array Invariants
Robotics and Integrated Formal Methods: Necessity Meets Opportunity
Formal Modeling of Software Defined Networking
Resource-Aware Virtually Timed Ambients
Stateful Behavioral Types for Active Objects
Probabilistic Verification of Timing Constraints in Automotive Systems Using UPPAAL-SMC
Facilitating the Implementation of Distributed Systems with Heterogeneous Interactions
State-of-the-Art Model Checking for B and Event-B Using ProB and LTSmin
Towards A Formal Notion of Impact Metric for Cyber-physical Attacks
Task Planning with OMT: An Application to Production Logistics
Branching Temporal Logic of Calls and Returns for Pushdown Systems
Repair and Generation of Formal Models Using Synthesis
Mode-aware Concolic Testing for PLC Software
Formalisation of SysML/KAOS Goal Assignments with B System Component Decompositions
Analysing AWN-specifications Using mCRL2.