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 collection of case studies contains contributions illustrating the application of formal methods to real-life problems with industrial relevance.

This invaluable textbook/reference provides an easy-to-read guide to the fundamentals of formal methods, highlighting the rich applications of formal methods ac

Through fundamental contributions from leading researchers, this volume describes the use of formal modeling methods in the areas of requirements, design and va

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