Formal methods are a robust approach for problem solving. It is based on logic and algebraic methods where problems can be formulated in a way that can help to

This is an excellent introduction to formal methods which will bring anyone who needs to know about this important topic up to speed. It is comprehensive, givin

This collection of case studies contains contributions illustrating the application of formal methods to real-life problems with industrial relevance.

A high-level introduction to new technologies andmethods in the field of software engineering Recent years have witnessed rapid evolution of software engineerin

This book constitutes the refereed proceedings of the 7th International Symposium on NASA Formal Methods, NFM 2015, held in Pasadena, CA, USA, in April 2015. Th