1 “...Formal methods have been applied successfully to the verification of medium-sized programs...”

2 “... of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2014...”

3 “... contributions are written by experts in the areas of distributed systems, formal methods, and programming...”

4 Table of Contents: “... -- The Practical Application of Formal Methods: Where Is the Benefit for Industry? -- Isolation Types and Multi...”