The International School on Formal Methods for the Design of Computer, Communication and Software Systems (SFM) addresses the use of formal methods in computer science as a prominent approach to the rigorous design of the said systems. The main aim of the SFM series is to present a wide spectrum of current research on the foundations and the applications of formal methods, addressing graduate students and young researchers approaching the field.
The focus of SFM 2010, held in Bertinoro, Italy, in June 2010, was on formal methods for quantitative aspects of programming languages. This book presents 4 comprehensive papers accompanying the lectures given by leading researchers at SFM 2010. The topics covered include probabilistic and timed models, model checking, static analysis, quantum computing, real-time and embedded systems, and security.